verifypn

add support for deadlock to the CTL engine

Bug #1566861 reported by Jiri Srba
6
This bug affects 1 person
Affects Status Importance Assigned to Milestone
verifypn
Fix Released
Undecided
Unassigned

Bug Description

CTL engine should support the deadlock proposition

Peter Gjøl Jensen (peter-gjoel)
Changed in verifypn:
status: New → Fix Released
To post a comment you must log in.
This report contains Public information  
Everyone can see this information.
Subscribing...

Other bug subscribers

Remote bug watches

Bug watches keep track of this bug in other bug trackers.