| Summary: | Server crashes on syntax errors!! | ||
|---|---|---|---|
| Product: | UPPAAL | Reporter: | Angelo Furfaro <furang> |
| Component: | Engine | Assignee: | Gerd Behrmann <behrmann> |
| Status: | CLOSED FIXED | ||
| Severity: | normal | ||
| Priority: | P2 | ||
| Version: | 3.4.4 | ||
| Hardware: | All | ||
| OS: | All | ||
| Architecture: | |||
Confirmed. Thanks for reporting this. A fix has been checked into CVS. |
This bug can be reproduced by typing the following code in the global declaration section: int a[3][2]:={ {1,2}, {3,2}, {3,4},//<-this comma introduces a syntax error }; The same behavior can be obtained by the folowing declaration: int a[3]:={1,+2,2}; in this case is the plus (+) character that causes the error In both cases the server crashes instead of reporting syntax errors!!