verifypn

Code review comment for lp:~tapaal-ltl/verifypn/ltl-neg-fix

  1. ltl-neg-fix
  2. Merge into new-trunk
Revision history for this message
Jiri Srba (srba) wrote :

Correctness recovered for P/T and CPN nets in LTL category - tested againt oracle.

review: Approve

« Back to merge proposal