TAPAAL

Code review comment for lp:~tapaal-contributor/tapaal/engine-option-matrix-dev

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

Open Fisher's protocol from examples and make the query AF true.
This branch offers UPPAAL: Optimized Standard Reduction that should
not be offered - compare with e.g. 3.6.1 released version.

review: Needs Fixing

« Back to merge proposal