TAPAAL

Code review comment for lp:~tapaal-contributor/tapaal/add-tar-option

  1. add-tar-option
  2. Merge into trunk
Revision history for this message
Jiri Srba (srba) wrote :

I just made a simple untimed net and a query:

A (TAPN1.P0 = 1 U (EF TAPN1.P0 = 1))

and it still offers to use the tar option in the query dialog.

review: Needs Fixing

« Back to merge proposal