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:	Engine	Assignee:	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.