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

Bug 382 - Certain traits in saved xta format cannot be re-read by uppaal.
Summary: Certain traits in saved xta format cannot be re-read by uppaal.
Status: RESOLVED FIXED
Alias: None
Product: UPPAAL
Classification: Unclassified
Component: GUI (show other bugs)
Version: 4.0.3
Hardware: Macintosh Mac OS
: P1 normal
Assignee: Gerd Behrmann
URL:
Depends on:
Blocks:
 
Reported: 2006-12-15 20:44 CET by Robert Keller
Modified: 2006-12-27 10:43 CET (History)
0 users

See Also:
Architecture:


Attachments
xta file for bug in question (328 bytes, application/octet-stream)
2006-12-15 20:49 CET, Robert Keller
Details
.ugi file accompanying the .xta file in question (325 bytes, application/octet-stream)
2006-12-15 20:50 CET, Robert Keller
Details

Note You need to log in before you can comment on or make changes to this bug.
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.