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

Bug 162

Summary:	Deadlock and liveness check produces debug output
Product:	UPPAAL	Reporter:	Gerd Behrmann <behrmann>
Component:	Engine	Assignee:	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.