Opened 16 years ago

Closed 16 years ago

#263 closed defect (fixed)

False guards are not getting reported as a deadlock

Reported by: zirkel Owned by: Stephen Siegel
Priority: major Milestone:
Component: verify Version: 1.1
Keywords: Cc:

Description

For system functions with guards, if the guard cannot be true it should be reported as a deadlock.

Change History (3)

comment:1 by Stephen Siegel, 16 years ago

Status: new → accepted

I think I fixed it but is there a test?

comment:2 by zirkel, 16 years ago

I have examples. I'll make a test class now.

comment:3 by zirkel, 16 years ago

Resolution: → fixed
Status: accepted → closed

Added tests, which pass.

Note: See TracTickets for help on using tickets.