Mercurial > repos > sybila > ebcsgen_ctl_model_checking
comparison ebcsgen_ctl_model_checking.xml @ 0:213df1fd884f draft
planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit ab45353a4e518f67057a1789aa527fb3bf1e74d5
| author | sybila |
|---|---|
| date | Thu, 06 Oct 2022 14:39:48 +0000 |
| parents | |
| children |
comparison
equal
deleted
inserted
replaced
| -1:000000000000 | 0:213df1fd884f |
|---|---|
| 1 <tool id="eBCSgen_CTL_model_checking" name="eBCSgen CTL model checking" version="@TOOL_VERSION@_galaxy0"> | |
| 2 <description>- explicit CTL 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_ctl_model_checking.py | |
| 13 --transition_file '$transition_file' | |
| 14 --formula '$formula' | |
| 15 --output '$output' | |
| 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="CTL formula"> | |
| 21 <validator type="empty_field"/> | |
| 22 </param> | |
| 23 </inputs> | |
| 24 | |
| 25 <outputs> | |
| 26 <data label="CTL model checking of ${on_string}" format="ctl.result" name="output"/> | |
| 27 </outputs> | |
| 28 | |
| 29 <tests> | |
| 30 <test> | |
| 31 <param name="transition_file" value="simple.bcsl.ts" ftype="bcsl.ts"/> | |
| 32 <param name="formula" value="E(F([P(S{a},T{a})::cell > 0]))"/> | |
| 33 <output name="output" ftype="ctl.result"> | |
| 34 <assert_contents> | |
| 35 <has_text text="Result: True"/> | |
| 36 <has_text text="Number of satisfying states: 4"/> | |
| 37 </assert_contents> | |
| 38 </output> | |
| 39 </test> | |
| 40 </tests> | |
| 41 | |
| 42 </tool> |