|Summary:||Certain traits in saved xta format cannot be re-read by uppaal.|
|Product:||UPPAAL||Reporter:||Robert Keller <keller>|
|Component:||GUI||Assignee:||Gerd Behrmann <behrmann>|
xta file for bug in question
.ugi file accompanying the .xta file in question
Description Robert Keller 2006-12-15 20:44:07 CET
Create an example with two identical Templates, involving a looping transitions from a state named 'disabled' to itself. Upon trying to re-read the saved .xta file, Uppaal gives the Error dialog: "Transition no. 2 from 'disabled' to 'disabled' undeclared, but used in ugi file.
Comment 1 Robert Keller 2006-12-15 20:49:18 CET
Created attachment 130 [details] xta file for bug in question
Comment 2 Robert Keller 2006-12-15 20:50:01 CET
Created attachment 131 [details] .ugi file accompanying the .xta file in question
Comment 3 Gerd Behrmann 2006-12-22 17:57:02 CET
That seems to be a bug in the XTA exporter.
Comment 4 Gerd Behrmann 2006-12-27 10:42:22 CET
Fixed on the 4.0 branch from rev. 2883.
Comment 5 Gerd Behrmann 2006-12-27 10:43:37 CET
Fixed on the trunk from rev. 2884.