TAPAAL

Code review comment for lp:~tapaal-contributor/tapaal/fix-is-enabled-transition-query

  1. fix-is-enabled-transition-query
  2. Merge into trunk
Revision history for this message
Jiri Srba (srba) wrote :

Tested and fixes the problem.

review: Approve

« Back to merge proposal