| Summary: | syntax error location is wrong | ||
|---|---|---|---|
| Product: | UPPAAL | Reporter: | Marius Mikučionis <marius> |
| Component: | GUI | Assignee: | Wei Zhao <zhaow> |
| Status: | ASSIGNED --- | ||
| Severity: | minor | CC: | adavid |
| Priority: | P5 | ||
| Version: | unspecified | ||
| Hardware: | All | ||
| OS: | All | ||
| Architecture: | |||
| Attachments: | model with wrong error location | ||
Created attachment 272 [details] model with wrong error location there is some strange interaction between comments and other labels: the engine correctly spots the error: /nta/template[1]/transition[1]/label[1]:1: [error] Unknown identifier: undefined_variable. however the GUI is trying to display this error in the comment field. I guess that GUI has a different ordering of labels where the comment appears as the first label.