Finished storm output to csv conversion

sybila · Aug 19, 2022 · f2abe49 · f2abe49
1 parent afe2e6f
commit f2abe49
Show file tree

Hide file tree

Showing 4 changed files with 498 additions and 18 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)