|Summary:||Crash when using disjunctions with clocks in invariants and guards|
|Product:||UPPAAL||Reporter:||Gerd Behrmann <behrmann>|
|Component:||Engine||Assignee:||Gerd Behrmann <behrmann>|
Description Gerd Behrmann 2005-06-29 21:08:01 CEST
The back port of libutap done between 3.4.10 and 3.4.11 allows a more liberal syntax for invariants and guards. However, this extension is only supported by 3.5.7 and not 3.4.11. Hence the engine crashes when these extensions are used. As a concrete example the expression 'b imply x <= 10' for b being a boolean and x a clock is accepted as valid syntax for invariants and guards, but causes an engine crash when switching to the simulator.
Comment 2 Gerd Behrmann 2005-07-05 09:31:35 CEST
A fix has been checked into CVS. The mentioned expressions are now reported as syntax errors.