This issue tracker is closed. Please visit UPPAAL issue tracker at Github instead.

Bug 77

Summary:	Fix for bug 72 needs documentation updates
Product:	UPPAAL	Reporter:	Gerd Behrmann <behrmann>
Component:	Documentation	Assignee:	Paul Pettersson <paupet>
Status:	RESOLVED FIXED
Severity:	minor
Priority:	P2
Version:	3.4.3
Hardware:	All
OS:	All
Architecture:

Description Gerd Behrmann 2003-12-27 11:32:53 CET

The documentation states that the deadlock state property can only be used with E<> and A[], but 
with the fix for bug 72 this is no longer true. The documentation should be updated.

Comment 1 Paul Pettersson 2004-01-08 09:07:02 CET

Removed lines in documentation stating that the "deadlock" keyword can not be 
used with liveness checker.