|Summary:||Faulty optimisations in virtual machine|
|Product:||UPPAAL||Reporter:||Gerd Behrmann <behrmann>|
|Component:||Engine||Assignee:||Gerd Behrmann <behrmann>|
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.