Code review comment for lp:~tapaal-contributor/tapaal/add-discrete-to-untimed

Jiri Srba (srba) wrote :

I create a simple net for untimed and game lens, ask a simple AF query and the verification ends with error in query parsing. When I save the file and open again, the GUI hals and becomes unresponsive.

review: Needs Fixing

« Back to merge proposal