Mercurial > repos > sybila > ebcsgen_pctl_model_checking
view ebcsgen_pctl_model_checking.xml @ 1:602c6cab487e draft
planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit 81dbe4922abcbd544c1dd9830d05daf661a29658
author | sybila |
---|---|
date | Tue, 04 Oct 2022 09:54:48 +0000 |
parents | ea5108514910 |
children |
line wrap: on
line source
<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 <= 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>