Mercurial > repos > sybila > ebcsgen_static_analysis
view ebcsgen_static_analysis.xml @ 2:eafac9fe4b40 draft default tip
planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit 4719a69f514aed27d90c7017f052463b0b43cbb0
author | sybila |
---|---|
date | Sat, 15 Oct 2022 09:24:21 +0000 |
parents | 35cc9bb0b4e9 |
children |
line wrap: on
line source
<tool id="eBCSgen_static_analysis" name="eBCSgen static analysis" version="@TOOL_VERSION@_galaxy0"> <description>- run static analysis techniques on given BCSL model</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_static_analysis.py --model '$model' --output '$output' --method '$Method.method' #if $Method.method == "reach": --complex '$Method.complex' #end if </command> <inputs> <param format="bcsl.model" name="model" type="data" label="Model file" help="Provide a BCSL model file"/> <conditional name="Method"> <param name="method" type="select" label="Choose static analysis method:"> <option value="reach" selected="true">Static non-reachability</option> <option value="eliminate">Rule redundancy elimination</option> <option value="reduce">Context based reduction</option> </param> <when value="reach"> <param name="complex" value="" type="text" label="Complex agent:"> <validator type="empty_field"/> </param> </when> </conditional> </inputs> <outputs> <data format="bcsl.model" name="output"> <change_format> <when input="Method.method" value="reach" format="txt"/> </change_format> </data> </outputs> <tests> <test> <param name="model" value="redundant.bcsl.model" ftype="bcsl.model"/> <param name="method" value="reach"/> <param name="complex" value="P(S{i},T{a})::out"/> <output name="output" ftype="txt"> <assert_contents> <has_text text="can possibly be reached in the model"/> </assert_contents> </output> </test> <test> <param name="model" value="redundant.bcsl.model" ftype="bcsl.model"/> <param name="method" value="eliminate"/> <output name="output" ftype="bcsl.model"> <assert_contents> <has_text text="r1_X ~ // redundant #{1, 2} // P(T{i})::cell => P(T{a})::cell @ 1.0"/> <has_text text="r1_T ~ // redundant #{1, 2} // P(T{i})::cell => P(T{a})::cell @ 1.0"/> </assert_contents> </output> </test> <test> <param name="model" value="redundant.bcsl.model" ftype="bcsl.model"/> <param name="method" value="reduce"/> <output name="output" value="reduced.bcsl.model" ftype="bcsl.model"/> </test> </tests> </tool>