Code review comment for lp:~tapaal-contributor/tapaal/show-reduced-net-1879130

Thomas Pedersen (tpede16) wrote :

Added the open reduced net button to the query dialog.

The button will close the dialog and run minimal verification before opening the reduced net.

review: Needs Resubmitting

« Back to merge proposal