Update: also allow to use raw output from Python interface
@@ -34,7 +34,7 @@ def GetOutput():
inputs = [parseTask(l.split("Input: ")[1]) for l in lines if l.startswith('Input:')]
derivations = [parseTask(l.split("Derived: ")[1]) for l in lines if l.startswith('Derived:')]
answers = [parseTask(l.split("Answer: ")[1]) for l in lines if l.startswith('Answer:')]
- return {"input": inputs, "derivations": derivations, "answers": answers, "executions": executions}
+ return {"input": inputs, "derivations": derivations, "answers": answers, "executions": executions, "raw": "\n".join(lines)}
def GetStats():
Stats = {}
