Bug 162

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

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.