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

Bug 557 - Server Crashes while running a Query
Summary: Server Crashes while running a Query
Status: NEW
Alias: None
Product: UPPAAL
Classification: Unclassified
Component: Engine (show other bugs)
Version: 4.0.13
Hardware: PC Other
: P5 critical
Assignee: Alexandre David
URL:
Depends on:
Blocks:
 
Reported: 2013-07-02 12:57 CEST by Waheed Ahmad
Modified: 2013-07-02 12:57 CEST (History)
0 users

See Also:
Architecture:

Attachments
UPPAAL model (6.54 KB, text/xml)
2013-07-02 12:57 CEST, Waheed Ahmad 		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 Waheed Ahmad 2013-07-02 12:57:24 CEST 
Created attachment 264 [details]
UPPAAL model

Hi,

When I try to run query "E<> (counter_MP3==20&counter_SRC==48&counter_DAC==15360)" for attached model and use "Fastest Trace", server crashes. Can you please look into this as soon as possible?

I am using uppaal 4.0.13 on Windows 7.

Thank you very much in anticipation.

Kind Regards,
Waheed Ahmad
University of Twente