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

Bug 200

Summary: Crash using parameter constant in int range for variable with default initialization
Product: UPPAAL Reporter: Leonid Mokrushin <leom>
Component: EngineAssignee: Gerd Behrmann <behrmann>
Severity: normal    
Priority: P2    
Version: 3.5.9   
Hardware: PC   
OS: Linux   
Attachments: Test case

Description Leonid Mokrushin 2005-09-22 11:56:43 CEST
When an integer in defined in a template as follows

Template name:      MyTemplate
Parameters:         const int bound
Declarations:       int[0,bound] MyVar;
Process assignment: MyProcess:=MyTemplate(2);
System declaration: System MyProcess;

the GUI says "server connection lost" and verifyta reports "CAUGHT EXCEPTION:
InterpreterException". The problem can be worked around by making declaration
look "int[0,bound] MyVar = 0". Both Linux and Windows engines have the same
effect. The problem does not appear if bound is defined as local constant.

Second problem: the "out-of-range" error for "int[0,bound] MyVar = -1" is
reported in GUI as "Word expected".
Comment 1 Gerd Behrmann 2005-09-22 12:24:50 CEST
Created attachment 56 [details]
Test case
Comment 2 Gerd Behrmann 2005-09-22 12:27:14 CEST
The bug is already fixed in CVS.