Bug 433 - Empty system section causes 'syntax error, unexpected $end' in wrong place
Summary: Empty system section causes 'syntax error, unexpected $end' in wrong place
Status: REOPENED
Alias: None
Product: UPPAAL
Classification: Unclassified
Component: libutap (show other bugs)
Version: 4.0.6
Hardware: PC Linux
: P2 minor
Assignee: Gerd Behrmann
URL:
Depends on:
Blocks:
 
Reported: 2007-11-28 04:13 CET by Timothy Bourke
Modified: 2007-11-29 18:15 CET (History)
0 users

See Also:
Architecture:


Attachments

Note You need to log in before you can comment on or make changes to this bug.
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.