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

Jiri Srba (srba) wrote :

The reduction gives error when called for timed net. The reduction show option should be available only if the lens says that the new is untimed and non-game.

review: Needs Fixing

« Back to merge proposal