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

Bug 244

Summary: Constant variables in functions cause segfault
Product: UPPAAL Reporter: Alexandre David <adavid>
Component: EngineAssignee: Gerd Behrmann <behrmann>
Severity: normal    
Priority: P1    
Version: 3.6 Alpha 3   
Hardware: PC   
OS: Linux   
Attachments: test case
query file

Description Alexandre David 2005-12-22 16:09:37 CET
The server crashes on the attached system :)
Comment 1 Alexandre David 2005-12-22 16:10:49 CET
Created attachment 82 [details]
test case
Comment 2 Alexandre David 2005-12-22 16:11:26 CET
Created attachment 83 [details]
query file
Comment 3 Gerd Behrmann 2005-12-22 16:48:00 CET
This is triggered by local variables or parameters in functions that are declared const. Workaround: Don't 
declare them const.
Comment 4 Gerd Behrmann 2006-01-17 15:36:17 CET
Fixed on the trunk (rev. 1452).