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: DocumentationAssignee: Paul Pettersson <paupet>
Severity: minor    
Priority: P2    
Version: 3.4.3   
Hardware: All   
OS: All   

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.