TAPAAL

Code review comment for lp:~tapaal-approx/tapaal/tapaal-approx-new

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

I have renamed TAPNComposerExtended to TAPNComposerGUI.

We should take a look if we need both composers or only one, I will make a separate bug report.

Otherwise the rest should be fixed now. The s.append tests in batch processing cannot be
simply replaced by if block due to delimiters. I think it is ok as it is.

review: Approve

« Back to merge proposal