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

Bug 307 - Strange layout behavior with nails and .xta files
Summary: Strange layout behavior with nails and .xta files
Status: RESOLVED FIXED
Alias: None
Product: UPPAAL
Classification: Unclassified
Component: GUI (show other bugs)
Version: 3.6 Beta 1
Hardware: All All
: P1 normal
Assignee: Gerd Behrmann
URL:
Depends on:
Blocks:
 
Reported: 2006-03-29 16:13 CEST by Niels Braspenning
Modified: 2006-04-10 18:03 CEST (History)
0 users

See Also:
Architecture:

Attachments
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 Niels Braspenning 2006-03-29 16:13:25 CEST 
I get strange layout behavior with nails, when I do the following:

- create TA with two locations and two transitions, both from initial to end location
- separate these transitions with nails, e.g. pull one transition up and the other one down
- save this TA in a .xta file (and accompanying .ugi file)
- reopen this .xta file

Now I see that the two nails (that were connected to both transitions to separate them) are now connected to only one of the two transitions, i.e. one transition is now straight with no nails and the other one makes an S curve through both nails.
Comment 1 Gerd Behrmann 2006-03-29 16:36:36 CEST 
Confirmed. Seems to be a problem in the serialization to XTA.
Comment 2 Gerd Behrmann 2006-04-10 18:03:42 CEST 
Fixed on the trunk from rev. 1710.