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

Bug 205

Summary: Crash when calling functions from invariants
Product: UPPAAL Reporter: Gerd Behrmann <behrmann>
Component: EngineAssignee: Gerd Behrmann <behrmann>
Severity: normal    
Priority: P2    
Version: 3.5.9   
Hardware: All   
OS: All   
Attachments: Minimal test case

Description Gerd Behrmann 2005-10-02 14:10:47 CEST
If the return value of a function is used to bound a clock in an invariant or a
guard, the engine segfaults (or fails in an assertion if assertions are enabled)
if the return type of the function is not explicitly bounded.
Comment 1 Gerd Behrmann 2005-10-02 14:11:19 CEST
Created attachment 62 [details]
Minimal test case
Comment 2 Gerd Behrmann 2005-10-04 16:40:56 CEST
A fix has been checkd into CVS.