TAPAAL

pred/succ both sides in transition guard

Bug #1985977 reported by Lena Ernstsen on 2022-08-12

This bug affects 1 person

Affects		Status	Importance	Assigned to	Milestone
	TAPAAL	Fix Committed	Undecided	Lena Ernstsen	TAPAAL cpn "cpn"

Bug Description

Predecessors/successors are added to both sides of the comparison sign and undo sometimes undoes both sides.

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.

Jiri Srba (srba) on 2022-08-12

Changed in tapaal:
milestone:	none → cpn

Lena Ernstsen (lsaid) on 2022-08-16

Changed in tapaal:
assignee:	nobody → Lena Ernstsen (lsaid)
status:	New → In Progress

Jiri Srba (srba) on 2022-08-18

Changed in tapaal:
status:	In Progress → Fix Committed

Report a bug

This report contains Public information

Everyone can see this information.

You are

Subscribing...

Edit bug mail

Other bug subscribers

Remote bug watches

Bug watches keep track of this bug in other bug trackers.