Mercurial > repos > sybila > ebcsgen_pctl_model_checking
comparison ebcsgen_pctl_model_checking.xml @ 0:ea5108514910 draft
planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit d80d8e9710cba50aab3e6a1e10a527d26fc7e72b
author | sybila |
---|---|
date | Fri, 09 Sep 2022 17:04:25 +0000 |
parents | |
children | 602c6cab487e |
comparison
equal
deleted
inserted
replaced
-1:000000000000 | 0:ea5108514910 |
---|---|
1 <tool id="eBCSgen_PCTL_model_checking" name="eBCSgen - PCTL model checking" version="@TOOL_VERSION@_galaxy0"> | |
2 <description>- explicit PCTL model checking of transition system</description> | |
3 <macros> | |
4 <import>macros.xml</import> | |
5 </macros> | |
6 <expand macro="creator"/> | |
7 <requirements> | |
8 <container type="docker">sybila/ebcsgen:v@TOOL_VERSION@</container> | |
9 </requirements> | |
10 | |
11 <options sanitize="False"/> | |
12 <command>python3 ${__tool_directory__}/ebcsgen_pctl_model_checking.py | |
13 --transition_file '$transition_file' | |
14 --output '$output' | |
15 --formula '$formula' | |
16 </command> | |
17 | |
18 <inputs> | |
19 <param format="bcsl.ts" name="transition_file" type="data" label="Computed Transition system"/> | |
20 <param name="formula" type="text" label="PCTL formula"> | |
21 <validator type="empty_field"/> | |
22 </param> | |
23 </inputs> | |
24 | |
25 <outputs> | |
26 <data label="PCTL model checking of ${on_string}" format="storm.check" name="output"/> | |
27 </outputs> | |
28 | |
29 <tests> | |
30 <test> | |
31 <param name="transition_file" value="pctl_model_checking.bcsl.ts" ftype="bcsl.ts"/> | |
32 <param name="formula" value="P <= 0.5[F X()::rep=1]"/> | |
33 <output name="output" ftype="storm.check"> | |
34 <assert_contents> | |
35 <has_text text="Result (for initial states): false"/> | |
36 </assert_contents> | |
37 </output> | |
38 </test> | |
39 </tests> | |
40 | |
41 </tool> |