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

Bug 330

Summary:	Search for fastest trace to deadlock state does not terminate
Product:	UPPAAL	Reporter:	Gerd Behrmann <behrmann>
Component:	Engine	Assignee:	Gerd Behrmann <behrmann>
Status:	RESOLVED FIXED
Severity:	major
Priority:	P2
Version:	4.0.0
Hardware:	All
OS:	All
Architecture:

Description Gerd Behrmann 2006-06-14 20:33:23 CEST

In some cases, searching for the fastest trace to a deadlock state does not terminate. This is for instance the case with the dacapo_sim model.

Comment 1 Gerd Behrmann 2006-06-14 20:33:56 CEST

Fixed on the trunk from rev. 2144.