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
URL:
Depends on:
Blocks:
 
Reported: 2014-01-13 15:58 CET by Kasper Laursen
Modified: 2014-01-13 15:58 CET (History)
0 users

See Also:
Architecture:

Attachments
Query and model (1.33 KB, application/zip)
2014-01-13 15:58 CET, Kasper Laursen 		Details
Add an attachment (proposed patch, testcase, etc.)

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.)