Opened 16 years ago

#211 new enhancement

don't check for deadlocked states when not necessary

Reported by: Stephen Siegel Owned by:
Priority: major Milestone: Release 1.0
Component: verify Version: 1.0
Keywords: Cc:

Description

No need to check for deadlock at a statement that can't block, like an "if" or "while". Right now we are checking the " p
!p " query at these states.

Change History (0)

Note: See TracTickets for help on using tickets.