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

Bug 382

Summary: Certain traits in saved xta format cannot be re-read by uppaal.
Product: UPPAAL Reporter: Robert Keller <keller>
Component: GUIAssignee: Gerd Behrmann <behrmann>
Severity: normal    
Priority: P1    
Version: 4.0.3   
Hardware: Macintosh   
OS: Mac OS   
Attachments: 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.