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...
Alias: None
Product: UPPAAL
Classification: Unclassified
Component: Engine (show other bugs)
Version: 4.1.23
Hardware: PC Linux
: P5 major
Assignee: Marius Mikučionis
Depends on:
Reported: 2019-11-15 12:07 CET by Marius Mikučionis
Modified: 2019-11-26 12:49 CET (History)
0 users

See Also:

model showing an issue (113.50 KB, text/xml)
2019-11-15 12:07 CET, Marius Mikučionis

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:
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.