The new translator fails on some inputs (e.g. Pipes-NoTankage-50), and when it
does, the do_preprocess script is happy to reuse the output.sas file left over
from the previous translator run.
As a result, some of the "solved pipesworld tasks" in our latest experiments are
actually from the Mystery domain.
Proposed fix: do_preprocess should delete the inputs in the temp dir after
successful runs so that there is nothing left over in the next run.
|