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

Bug 289

Summary: Fastest trace not correct
Product: UPPAAL Reporter: Raymond Kroon <raymanx>
Component: EngineAssignee: Gerd Behrmann <behrmann>
Status: RESOLVED FIXED    
Severity: major    
Priority: P1    
Version: 3.6 Alpha 5   
Hardware: All   
OS: All   
Architecture:

Description Raymond Kroon 2006-03-09 15:04:29 CET 
It seems that fastest trace generation is wrong in this version since alpha 4 gives a faster trace for the same model.
Comment 1 Gerd Behrmann 2006-03-09 20:45:36 CET 
Fixed on the trunk.