|Summary:||Unfolding of cyclic traces no longer works|
|Product:||UPPAAL||Reporter:||Gerd Behrmann <behrmann>|
|Component:||GUI||Assignee:||Gerd Behrmann <behrmann>|
|Version:||3.6 Alpha 2|
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.