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

Jiri Srba (srba) wrote :

Still needs fixing - open intro example and unselect all verification options (Reductions, Siphon etc). They try to open the reduced net, an error appers.

review: Needs Fixing

« Back to merge proposal