|Summary:||Crash using parameter constant in int range for variable with default initialization|
|Product:||UPPAAL||Reporter:||Leonid Mokrushin <leom>|
|Component:||Engine||Assignee:||Gerd Behrmann <behrmann>|
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 2 Gerd Behrmann 2005-09-22 12:27:14 CEST
The bug is already fixed in CVS.