Sequence diagram problems after doing CHECK

Status: Alpha

Brought to you by: pettersson, stefan19682

#17 Sequence diagram problems after doing CHECK

Milestone: v0.0

Status: open

Owner: John Håkansson

Labels: uppaal-port (14)

Priority: 1

Updated: 2008-01-11

Created: 2007-11-19

Private: No

After a CHECK has been executed, using STEP or RUN does not produce correct activation boxes/arrows in the Sequence Diagram of Uppaal PORT plugin.

Pressing RESET (or BACK) solves the problem.

See attached picture.

Davor Slutej - 2007-11-19

after_check.png

If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

Davor Slutej - 2007-11-19

priority: 5 --> 2
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

Davor Slutej - 2007-12-22

priority: 2 --> 1
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

Anders Pettersson - 2007-12-23

milestone: --> v0.0
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

Davor Slutej - 2008-01-11

assigned_to: nobody --> john-h
If you would like to refer to this comment somewhere else in this project, copy and paste the following link: