Mercurial > repos > sybila > ebcsgen_pctl_model_checking

changeset 2:141b9c2bc816 draft

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit 83232805a8721c48078c88367e3480a5553f0182
author sybila
date Fri, 14 Oct 2022 16:24:36 +0000
parents 602c6cab487e
children 7be535fdf059
files ebcsgen_pctl_model_checking.py macros.xml
diffstat 2 files changed, 2 insertions(+), 3 deletions(-) [+]
line wrap: on
line diff
--- 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()
--- 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>