Bug 162

Summary: Deadlock and liveness check produces debug output
Product: UPPAAL Reporter: Gerd Behrmann <behrmann>
Component: EngineAssignee: Robert Olesen <egir>
Status: RESOLVED FIXED    
Severity: major    
Priority: P2    
Version: 3.4.10   
Hardware: PC   
OS: All   
Architecture:

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.