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

Jiri Srba (srba) wrote :

Also, open intro net, untime it and change the query so that Target=2. Now try to show the reduced net - it never opens as the state equations kick in - they should be disabled when you want to see the reduced net.

review: Needs Fixing

« Back to merge proposal