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 :

The detection if a query is a reachability query must be improved - tar can only be offered for EF or AG queries that do not contain any other temporal operators.

E.g. for the query

E ((AG true) U false)

the TAR option is offered as well, which should not be the case.

review: Needs Fixing

« Back to merge proposal