Invalid transition guard with logic comparison

Bug #1986788 reported by Lena Ernstsen
6
This bug affects 1 person
Affects Status Importance Assigned to Milestone
TAPAAL
Fix Committed
Undecided
Lena Ernstsen

Bug Description

Switching between color types in the ColoredTransitionGuardPanel can create incorrect behaviour when the expression contains a logic comparison.

How to reproduce:
  - Open the token-ring net
  - Double-click on the mainprocess transition to open the dialog
  - Change the color type to process
  - Create the following expression: x = y AND y != i
  - Select != in the expression and change to the dot color type
  - Select x in the expression
It is now possible to write the following invalid expression: dot = y

Jiri Srba (srba)
Changed in tapaal:
milestone: none → cpn
Lena Ernstsen (lsaid)
Changed in tapaal:
assignee: nobody → Lena Ernstsen (lsaid)
status: New → In Progress
Jiri Srba (srba)
Changed in tapaal:
status: In Progress → Fix Committed
To post a comment you must log in.
This report contains Public information  
Everyone can see this information.

Other bug subscribers

Remote bug watches

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