Deadlock and liveness with orphant transitions

Bug #1208943 reported by Jiri Srba on 2013-08-06
6
This bug affects 1 person
Affects Status Importance Assigned to Milestone
VerifyDTAPN
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.

Jiri Srba (srba) on 2013-09-10
Changed in verifydtapn:
status: New → Fix Released
To post a comment you must log in.
This report contains Public information  Edit
Everyone can see this information.

Other bug subscribers