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
Add an attachment (proposed patch, testcase, etc.)

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.