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

Jiri Srba (srba) wrote :

If you run verification and no reduction rules were applicable, the verification answer still offers "Open reduced net" but when you click nothing happens. If no reduction rules are applicable, then the button show not be enabled.

review: Needs Fixing

« Back to merge proposal