Bug 565

Summary: Query `E<> (...)` fails on Mac using normal and 64-bit version
Product: UPPAAL Reporter: Kasper Laursen <kasper.laursen>
Component: EngineAssignee: Alexandre David <adavid>
Status: NEW ---    
Severity: normal    
Priority: P5    
Version: 4.1.14   
Hardware: Macintosh   
OS: Mac OS   
Attachments: Query and model

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