|Summary:||Empty system section causes 'syntax error, unexpected $end' in wrong place|
|Product:||UPPAAL||Reporter:||Timothy Bourke <tbourke>|
|Component:||libutap||Assignee:||Gerd Behrmann <behrmann>|
Description Timothy Bourke 2007-11-28 04:13:18 CET
To reproduce: 1) Create a new model. 2) Add a new state and declare a clock x. 3) Add a transition from the existing state to new state with guard: x > 0. 4) Delete all text under 'System declarations'. 5) Check Syntax The 0 in the only guard is underlined with the error: syntax error, unexpected $end This is not the same as bug #160 because the <system> section is present, but empty.
Comment 1 Alexandre David 2007-11-29 18:14:13 CET
The bug was caused by an overflow. It is now detected in rev. 3350.