pred/succ both sides in transition guard
Bug #1985977 reported by
Lena Ernstsen
This bug affects 1 person
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
TAPAAL |
Fix Committed
|
Undecided
|
Lena Ernstsen |
Bug Description
Predecessors/
How to reproduce:
- Open the token-ring net
- Double-click the mainprocess transition to edit it
- Create the following guard: <+>++ = <+>--
- Press the "pred" button
- Press undo
- Press the "pred" button again
You will see the predecessor is added to both sides of the equality sign, which is incorrect behaviour.
Changed in tapaal: | |
milestone: | none → cpn |
Changed in tapaal: | |
assignee: | nobody → Lena Ernstsen (lsaid) |
status: | New → In Progress |
Changed in tapaal: | |
status: | In Progress → Fix Committed |
To post a comment you must log in.