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