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:	GUI	Assignee:	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.