Bug 557

Summary: Server Crashes while running a Query
Product: UPPAAL Reporter: Waheed Ahmad <w.ahmad>
Component: EngineAssignee: Alexandre David <adavid>
Status: NEW ---    
Severity: critical    
Priority: P5    
Version: 4.0.13   
Hardware: PC   
OS: Other   
Architecture:
Attachments: UPPAAL model

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