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.
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.
the issue still persists, working on it