Removed the button for opening the reduced net, when no reduction rules are applied.
Disabled query reduction completely when the reduced net is opened from the query dialog. This is dependent on the changes made to verifypn allowing -s OverApprox -q 0 (https://code.launchpad.net/~tapaal-contributor/verifypn/show-reduced-net)
« Back to merge proposal
Removed the button for opening the reduced net, when no reduction rules are applied.
Disabled query reduction completely when the reduced net is opened from the query dialog. This is dependent on the changes made to verifypn allowing -s OverApprox -q 0 (https:/ /code.launchpad .net/~tapaal- contributor/ verifypn/ show-reduced- net)