Broken history for colored nets
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
TAPAAL |
Fix Committed
|
Undecided
|
Unassigned |
Bug Description
Open the colored philosophers example net.
Remove all five tokens from the place fork.
Undo the change (ctrl-Z).
Now edit the tokens in place fork and modify the 1'id1 to 2'id1 (add one more token of id1).
Press OK and you get the following:
Exception in thread "AWT-EventQueue-0" java.lang.
at dk.aau.
at dk.aau.
at dk.aau.
at dk.aau.
at pipe.gui.
at pipe.gui.
......
Changed in tapaal: | |
status: | New → Fix Committed |