| Summary: | Query `E<> (...)` fails on Mac using normal and 64-bit version | ||
|---|---|---|---|
| Product: | UPPAAL | Reporter: | Kasper Laursen <kasper.laursen> |
| Component: | Engine | Assignee: | Alexandre David <adavid> |
| Status: | NEW --- | ||
| Severity: | normal | ||
| Priority: | P5 | ||
| Version: | 4.1.14 | ||
| Hardware: | Macintosh | ||
| OS: | Mac OS | ||
| Architecture: | |||
| Attachments: | Query and model | ||
Created attachment 267 [details] Query and model The query `E<> (...)` fails with the following message:: Server connection lost using UPPAAL version 4.1.14 on Mac OS X 10.9.1 in both normal and 64-bit version. Attached is a minimal failing example. (Seems to be working in windows UPPAAL version 4.1.18.)