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: EngineAssignee: 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.