| Summary: | Syntax error in a struct crashes syntax checker | ||
|---|---|---|---|
| Product: | UPPAAL | Reporter: | René Gøttler <reneg> |
| Component: | libutap | Assignee: | Gerd Behrmann <behrmann> |
| Status: | RESOLVED FIXED | ||
| Severity: | normal | ||
| Priority: | P3 | ||
| Version: | 3.5.7 | ||
| Hardware: | All | ||
| OS: | All | ||
| Architecture: | |||
| Attachments: | An example model containing a broken struct | ||
I am unable to reproduce this problem. Please attach a test case. Created attachment 47 [details]
An example model containing a broken struct
Here is a small model that exposes the bug I described - at least it does so on
my machine.
The existens of the function test() is the test case seems significant for triggering the crash. Exact behaviour depends on the platform: On windows the server crashes immediately, whereas on Mac it only crashes after pressing the syntax check key (F7) several times. A fix has been committed to CVS. |
A missing semi-colon at the end of the last struct member, crashes the server for Windows with a "memory could not be written" error message. An example struct: struct { int x; int y } p;