Mercurial > repos > sybila > ebcsgen_static_analysis

comparison ebcsgen_static_analysis.xml @ 0:35cc9bb0b4e9 draft

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit f39ef50b0964744be7816de065024eeb1fb69364
author sybila
date Sat, 08 Oct 2022 14:07:25 +0000
parents
children
comparison
equal deleted inserted replaced
-1:000000000000 0:35cc9bb0b4e9
1 <tool id="eBCSgen_static_analysis" name="eBCSgen static analysis" version="@TOOL_VERSION@_galaxy0">
2 <description>- run static analysis techniques on given BCSL model</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_static_analysis.py
13 --model '$model'
14 --output '$output'
15 --method '$Method.method'
16 #if $Method.method == "reach":
17 --complex '$Method.complex'
18 #end if
19 </command>
20
21 <inputs>
22 <param format="bcsl.model" name="model" type="data" label="Model file" help="Provide a BCSL model file"/>
23 <conditional name="Method">
24 <param name="method" type="select" label="Choose static analysis method:">
25 <option value="reach" selected="true">Static non-reachability</option>
26 <option value="eliminate">Rule redundancy elimination</option>
27 <option value="reduce">Context based reduction</option>
28 </param>
29 <when value="reach">
30 <param name="complex" value="" type="text" label="Complex agent:">
31 <validator type="empty_field"/>
32 </param>
33 </when>
34 </conditional>
35 </inputs>
36
37 <outputs>
38 <data format="bcsl.model" name="output">
39 <change_format>
40 <when input="Method.method" value="reach" format="txt"/>
41 </change_format>
42 </data>
43 </outputs>
44
45 <tests>
46 <test>
47 <param name="model" value="redundant.bcsl.model" ftype="bcsl.model"/>
48 <param name="method" value="reach"/>
49 <param name="complex" value="P(S{i},T{a})::out"/>
50 <output name="output" ftype="txt">
51 <assert_contents>
52 <has_text text="can possibly be reached in the model"/>
53 </assert_contents>
54 </output>
55 </test>
56 <test>
57 <param name="model" value="redundant.bcsl.model" ftype="bcsl.model"/>
58 <param name="method" value="eliminate"/>
59 <output name="output" ftype="bcsl.model">
60 <assert_contents>
61 <has_text text="r1_X ~ // redundant #{1, 2} // P(T{i})::cell => P(T{a})::cell @ 1.0"/>
62 <has_text text="r1_T ~ // redundant #{1, 2} // P(T{i})::cell => P(T{a})::cell @ 1.0"/>
63 </assert_contents>
64 </output>
65 </test>
66 <test>
67 <param name="model" value="redundant.bcsl.model" ftype="bcsl.model"/>
68 <param name="method" value="reduce"/>
69 <output name="output" value="reduced.bcsl.model" ftype="bcsl.model"/>
70 </test>
71 </tests>
72
73 </tool>