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

Bug 242

Summary: Unfolding of cyclic traces no longer works
Product: UPPAAL Reporter: Gerd Behrmann <behrmann>
Component: GUIAssignee: Gerd Behrmann <behrmann>
Status: ASSIGNED ---    
Severity: normal    
Priority: P3    
Version: 3.6 Alpha 2   
Hardware: All   
OS: All   
Architecture:

Description Gerd Behrmann 2005-12-15 20:43:49 CET
When loading a counter example for a liveness property, it used to be the case that the cyclic part of the 
trace could be unfolded. This is no longer the case.
Comment 1 Gerd Behrmann 2005-12-29 14:49:05 CET
Due to new features introduced in the language (select on edges, priorities,
etc) this can no longer be implemented in the GUI without help from the server.
I doubt that this feature will be implemented before 3.6 is released. Decreasing
priority to P3.