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

Bug 674 - liveness (leadsto) query crash in combination with urgent channels and channel priorities
Summary: liveness (leadsto) query crash in combination with urgent channels and channe...
Status: ASSIGNED
Alias: None
Product: UPPAAL
Classification: Unclassified
Component: Engine (show other bugs)
Version: 4.1.23
Hardware: PC Linux
: P5 major
Assignee: Marius Mikučionis
URL:
Depends on:
Blocks:
 
Reported: 2019-11-15 12:07 CET by Marius Mikučionis
Modified: 2019-11-26 12:49 CET (History)
0 users

See Also:
Architecture:

Attachments
model showing an issue (113.50 KB, text/xml)
2019-11-15 12:07 CET, Marius Mikučionis 		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 Marius Mikučionis 2019-11-15 12:07:54 CET 
Created attachment 339 [details]
model showing an issue

The model received from Mohammed Foughali.
Public artefact: https://github.com/Mo-F/sched-artefact
Paper: https://hal.laas.fr/hal-02346015/document
Comment 1 Marius Mikučionis 2019-11-26 12:49:47 CET 
Muhammed mentioned that the model works as expected once priorities are removed.
So perhaps it is a combination of priorities and leadsto property that triggers the crash.