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
Status: RESOLVED FIXED
Alias: None
Product: UPPAAL
Classification: Unclassified
Component: Engine (show other bugs)
Version: 3.4.11
Hardware: All All
: P2 normal
Assignee: Gerd Behrmann
URL:
Depends on:
Blocks:
 
Reported: 2005-06-29 21:08 CEST by Gerd Behrmann
Modified: 2005-07-05 09:31 CEST (History)
0 users

See Also:
Architecture:

Attachments
Test case. (1013 bytes, application/octet-stream)
2005-06-29 21:08 CEST, Gerd Behrmann 		Details
Add an attachment (proposed patch, testcase, etc.)

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.