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

Bug 169 - Crash when using disjunctions with clocks in invariants and guards
Summary: Crash when using disjunctions with clocks in invariants and guards
Alias: None
Product: UPPAAL
Classification: Unclassified
Component: Engine (show other bugs)
Version: 3.4.11
Hardware: All All
: P2 normal
Assignee: Gerd Behrmann
Depends on:
Reported: 2005-06-29 21:08 CEST by Gerd Behrmann
Modified: 2005-07-05 09:31 CEST (History)
0 users

See Also:

Test case. (1013 bytes, application/octet-stream)
2005-06-29 21:08 CEST, Gerd Behrmann

Note You need to log in before you can comment on or make changes to this bug.
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 1 Gerd Behrmann 2005-06-29 21:08:43 CEST
Created attachment 46 [details]
Test case.
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.