In diagnostic trace one can create places and transitions
Bug #356270 reported by
Jiri Srba
| Affects | Status | Importance | Assigned to | Milestone | |
|---|---|---|---|---|---|
| TAPAAL |
Fix Released
|
High
|
Joakim Byg | ||
Bug Description
Run TAPPAAL and draw a simple net using quick mode O -> I -> O and put two tokens into P0. The ask a query whether two tokens can be moved to P1 and select Standard and Some trace. A correct trace is displayed in the simulator mode. Now click on the transition is read and instead of taking a step, it will draw a new place.
PS: This is a problem even without quick draw, then I managed after some clicking to draw a transition.
Now when one toggles the editor again, all breaks with java.lang.
| Changed in tapn: | |
| importance: | Undecided → High |
| milestone: | none → version1.1 |
| Changed in tapn: | |
| assignee: | nobody → joakim-byg |
| status: | New → Fix Committed |
| Changed in tapn: | |
| status: | Fix Committed → Fix Released |
To post a comment you must log in.
