# HG changeset patch
# User sybila
# Date 1665764460 0
# Node ID 4a006ef60d3111e9635a03373ae41c751bf9f38b
# Parent  ad402067054beb33cca56bd305e34bf134de4640
planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit 83232805a8721c48078c88367e3480a5553f0182

diff -r ad402067054b -r 4a006ef60d31 ebcsgen_pctl_model_checking.py
--- a/ebcsgen_pctl_model_checking.py	Tue Oct 04 09:53:59 2022 +0000
+++ b/ebcsgen_pctl_model_checking.py	Fri Oct 14 16:21:00 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 ad402067054b -r 4a006ef60d31 macros.xml
--- a/macros.xml	Tue Oct 04 09:53:59 2022 +0000
+++ b/macros.xml	Fri Oct 14 16:21:00 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>