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

Jiri Srba (srba) wrote :

In order to make this work, before the untimed game net is sent to verifydtapn engine
there should be added new isolated place, with one token in it and age invariant <=0.
Then the timed engine will be able to mimick the untimed game semantics.

review: Needs Fixing

« Back to merge proposal