| Summary: | Empty system section causes 'syntax error, unexpected $end' in wrong place | ||
|---|---|---|---|
| Product: | UPPAAL | Reporter: | Timothy Bourke <tbourke> |
| Component: | libutap | Assignee: | Marius Mikučionis <marius> |
| Status: | ASSIGNED --- | ||
| Severity: | minor | CC: | marius |
| Priority: | P2 | ||
| Version: | 4.0.6 | ||
| Hardware: | PC | ||
| OS: | Linux | ||
| Architecture: | |||
The bug was caused by an overflow. It is now detected in rev. 3350. Sorry, wrong entry, bugzilla redirected me to the wrong bug. Bug 432 was fixed, not 433. taking over the issue still persists, working on it |
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.