Bug 162 - Deadlock and liveness check produces debug output
Summary: Deadlock and liveness check produces debug output
Status: RESOLVED FIXED
Alias: None
Product: UPPAAL
Classification: Unclassified
Component: Engine (show other bugs)
Version: 3.4.10
Hardware: PC All
: P2 major
Assignee: Robert Olesen
URL:
Depends on:
Blocks:
 
Reported: 2005-06-17 17:52 CEST by Gerd Behrmann
Modified: 2005-06-17 18:06 CEST (History)
0 users

See Also:
Architecture:


Attachments

Note You need to log in before you can comment on or make changes to this bug.
Description Gerd Behrmann 2005-06-17 17:52:49 CEST
The fix for bug 151 produces debugging output during deadlock and liveness
checking for guards containing conjunctions. In verifyta, this is just annyoing,
but from the GUI this causes the server connection to be killed.
Comment 1 Gerd Behrmann 2005-06-17 18:06:48 CEST
A fix has been checked into CVS.