CPN Guard dialog parenthesis - fix 2046277

TAPAAL / tapaal-gui

TAPAAL is a tool for verification of Timed-Arc Petri Nets developed at Department of Computer Science at Aalborg University.

https://www.tapaal.net

3 stars 11 forks source link

CPN Guard dialog parenthesis - fix 2046277 #126

Closed mtygesen closed 9 months ago

mtygesen commented 10 months ago

Fixes: https://bugs.launchpad.net/tapaal/+bug/2046277

srba commented 9 months ago

I can still make <> and ((<> or <>) or <>) and <*>

srba commented 9 months ago

All works fine now as it should, both for the query dialog as well as the guard dialog. However, if you make e.g. Voters1 = v and Voters1 = v and Voters1 = v in the referendum colored, save the net and open it again, it will add the unncessary paranthesis - this is not the case for query dialog, where these are not added even after saving/opening the net again.