This issue tracker is closed. Please visit UPPAAL issue tracker at Github instead.

Bug 331 - Faulty optimisations in virtual machine
Summary: Faulty optimisations in virtual machine
Alias: None
Product: UPPAAL
Classification: Unclassified
Component: Engine (show other bugs)
Version: 4.0.1
Hardware: All All
: P2 normal
Assignee: Gerd Behrmann
Depends on:
Reported: 2006-07-03 16:45 CEST by Gerd Behrmann
Modified: 2006-07-03 18:17 CEST (History)
0 users

See Also:


Note You need to log in before you can comment on or make changes to this bug.
Description Gerd Behrmann 2006-07-03 16:45:06 CEST
The peephole optimiser in the virtual machine has a bug that may cause faulty behaviour. It is difficult to characterise what kind of models will trigger the bug. If you suspect that you are affected, you can disable the optimiser by defining the environment variable UPPAAL_DISABLE_OPTIMIER.
Comment 1 Gerd Behrmann 2006-07-03 18:17:45 CEST
Fixed on the 4.0 branch from rev. 2344. The fix has previously been applied on the trunk.