Deadlock and liveness with orphant transitions
Bug #1208943 reported by
Jiri Srba
This bug affects 1 person
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
VerifyDTAPN |
Fix Released
|
High
|
Peter Gjøl Jensen |
Bug Description
If the query contains a deadlock or we ask a liveness query and the model contains orphant transitions
(on input, no output places) then the engine should not run and report that models with orphant
transitions are not supported for liveness queries or queries containing deadlocks.
Changed in verifydtapn: | |
status: | New → Fix Released |
To post a comment you must log in.