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

Bug 674

Summary: liveness (leadsto) query crash in combination with urgent channels and channel priorities
Product: UPPAAL Reporter: Marius Mikučionis <marius>
Component: EngineAssignee: Marius Mikučionis <marius>
Status: ASSIGNED ---    
Severity: major    
Priority: P5    
Version: 4.1.23   
Hardware: PC   
OS: Linux   
Architecture:
Attachments: model showing an issue

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.