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
Kenneth Yrke Jørgensen (yrke) wrote :

In general think it looks good, a sound beginning, but there is defenitly more work that can be done.
Added a few notes to the implementation.

review: Needs Fixing

« Back to merge proposal