Bug 433

Summary: Empty system section causes 'syntax error, unexpected $end' in wrong place
Product: UPPAAL Reporter: Timothy Bourke <tbourke>
Component: libutapAssignee: Marius Mikučionis <marius>
Status: REOPENED ---    
Severity: minor CC: marius
Priority: P2    
Version: 4.0.6   
Hardware: PC   
OS: Linux   

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.
Comment 2 Alexandre David 2007-11-29 18:15:12 CET
Sorry, wrong entry, bugzilla redirected me to the wrong bug. Bug 432 was fixed, not 433.
Comment 3 Marius Mikučionis 2019-10-21 10:17:34 CEST
taking over