Merge pull request #65 from sybila/64-pctl-output

PCTL synthesis output to CSV
sybila · Aug 19, 2022 · eea87c1 · eea87c1
2 parents 522e413 + f2abe49
commit eea87c1
Show file tree

Hide file tree

Showing 5 changed files with 1,109 additions and 4 deletions.
diff --git a/Galaxy/tools/PCTLParameterSynthesis/PCTLParameterSynthesis.py b/Galaxy/tools/PCTLParameterSynthesis/PCTLParameterSynthesis.py
@@ -59,9 +59,8 @@
 
 formula = PCTLparser().parse(args.formula)
 if formula.success:
-    result = PCTL().parameter_synthesis(ts, formula, region)
-    f = open(args.output, "w")
-    f.write(result.decode("utf-8"))
-    f.close()
+    result = PCTL.parameter_synthesis(ts, formula, region)
+    df = PCTL.process_output(result)
+    df.to_csv(args.output, index=False)
 else:
     raise FormulaParsingError(formula.data, args.formula)