diff ebcsgen_pctl_model_checking.xml @ 0:f9908f1109f9 draft

planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit d80d8e9710cba50aab3e6a1e10a527d26fc7e72b

--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/ebcsgen_pctl_model_checking.xml	Fri Sep 09 14:33:08 2022 +0000
@@ -0,0 +1,41 @@
+<tool id="eBCSgen_PCTL_model_checking" name="eBCSgen - PCTL model checking" version="@TOOL_VERSION@_galaxy0">
+    <description>- explicit PCTL model checking of transition system</description>
+    <macros>
+        <import>macros.xml</import>
+    </macros>
+    <expand macro="creator"/>
+    <requirements>
+        <container type="docker">sybila/ebcsgen:v@TOOL_VERSION@</container>
+    </requirements>
+
+    <options sanitize="False"/>
+    <command>python3 ${__tool_directory__}/ebcsgen_pctl_model_checking.py
+        --transition_file '$transition_file'
+        --output '$output'
+        --formula '$formula'
+    </command>
+
+    <inputs>
+        <param format="bcsl.ts" name="transition_file" type="data" label="Computed Transition system"/>
+        <param name="formula" type="text" label="PCTL formula">
+            <validator type="empty_field"/>
+        </param>
+    </inputs>
+
+    <outputs>
+        <data label="PCTL model checking of ${on_string}" format="storm.check" name="output"/>
+    </outputs>
+
+    <tests>
+        <test>
+            <param name="transition_file" value="pctl_model_checking.bcsl.ts" ftype="bcsl.ts"/>
+            <param name="formula" value="P &lt;= 0.5[F X()::rep=1]"/>
+            <output name="output" ftype="storm.check">
+                <assert_contents>
+                    <has_text text="Result (for initial states): false"/>
+                </assert_contents>
+             </output>
+        </test>
+    </tests>
+
+</tool>