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

Bug 331

Summary: Faulty optimisations in virtual machine
Product: UPPAAL Reporter: Gerd Behrmann <behrmann>
Component: EngineAssignee: Gerd Behrmann <behrmann>
Status: RESOLVED FIXED    
Severity: normal    
Priority: P2    
Version: 4.0.1   
Hardware: All   
OS: All   
Architecture:

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.