TAPAAL

Code review comment for lp:~ptaank/tapaal/run-multiple-queries-

  1. run-multiple-queries-
  2. Merge into trunk
Revision history for this message
Jiri Srba (srba) wrote :

Works just fine, just remove please also the tmp file name in Monitor, Net:
It is still shown there.

review: Needs Fixing

« Back to merge proposal