Missing brackets in guard expressions

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

Bug Description

In CPN branch, try to build a more complicated transition guard which contains
and together with nested or; it guard string does not show the paranthesis.
For example it shows

f < floor_last and d = up or f = floor1

but it should print instead

f < floor_last and (d = up or f = floor1)

Jiri Srba (srba)
Changed in tapaal:
status: New → Fix Committed
assignee: nobody → Lena Ernstsen (lsaid)
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.