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

Bug 169

Summary: Crash when using disjunctions with clocks in invariants and guards
Product: UPPAAL Reporter: Gerd Behrmann <behrmann>
Component: EngineAssignee: Gerd Behrmann <behrmann>
Status: RESOLVED FIXED    
Severity: normal    
Priority: P2    
Version: 3.4.11   
Hardware: All   
OS: All   
Architecture:
Attachments: Test case.

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.