# HG changeset patch
# User sybila
# Date 1665764676 0
# Node ID 141b9c2bc8164abf06931f0fc6a9d25296111e87
# Parent  602c6cab487e2cea9bdbedd41b4f98fbb9b33f5e
planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit 83232805a8721c48078c88367e3480a5553f0182

diff -r 602c6cab487e -r 141b9c2bc816 ebcsgen_pctl_model_checking.py
--- a/ebcsgen_pctl_model_checking.py	Tue Oct 04 09:54:48 2022 +0000
+++ b/ebcsgen_pctl_model_checking.py	Fri Oct 14 16:24:36 2022 +0000
@@ -11,7 +11,6 @@
 
 args_parser._action_groups.pop()
 required = args_parser.add_argument_group('required arguments')
-optional = args_parser.add_argument_group('optional arguments')
 
 required.add_argument('--transition_file', required=True)
 required.add_argument('--output', type=str, required=True)
@@ -26,7 +25,7 @@
 
 formula = PCTLparser().parse(args.formula)
 if formula.success:
-    result = PCTL.model_checking(ts, formula, storm_local=True)
+    result = PCTL.model_checking(ts, formula)
     f = open(args.output, "w")
     f.write(result.decode("utf-8"))
     f.close()
diff -r 602c6cab487e -r 141b9c2bc816 macros.xml
--- a/macros.xml	Tue Oct 04 09:54:48 2022 +0000
+++ b/macros.xml	Fri Oct 14 16:24:36 2022 +0000
@@ -1,5 +1,5 @@
 <macros>
-    <token name="@TOOL_VERSION@">2.0.3</token>
+    <token name="@TOOL_VERSION@">2.0.4</token>
 
     <xml name="creator">
         <creator>