This issue tracker is closed. Please visit UPPAAL issue tracker at Github instead.

Bug 565 - Query `E<> (...)` fails on Mac using normal and 64-bit version
Summary: Query `E<> (...)` fails on Mac using normal and 64-bit version
Status: NEW
Alias: None
Product: UPPAAL
Classification: Unclassified
Component: Engine (show other bugs)
Version: 4.1.14
Hardware: Macintosh Mac OS
: P5 normal
Assignee: Alexandre David
Depends on:
Reported: 2014-01-13 15:58 CET by Kasper Laursen
Modified: 2014-01-13 15:58 CET (History)
0 users

See Also:

Query and model (1.33 KB, application/zip)
2014-01-13 15:58 CET, Kasper Laursen

Note You need to log in before you can comment on or make changes to this bug.
Description Kasper Laursen 2014-01-13 15:58:29 CET
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.)