Mercurial > repos > sybila > recetox_aplcms_unsupervised
comparison ebcsgen_generate_ts.xml @ 0:3bdec3b22152 draft default tip
planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit 7befebc7a9bc40d8b97f4dac752ad9646aac40de
author | sybila |
---|---|
date | Fri, 09 Sep 2022 13:06:32 +0000 |
parents | |
children |
comparison
equal
deleted
inserted
replaced
-1:000000000000 | 0:3bdec3b22152 |
---|---|
1 <tool id="eBCSgen_generate_transition_system" name="eBCSgen - transition system generator" version="@TOOL_VERSION@_galaxy0"> | |
2 <description>- generate transition system of the given 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 <command>python3 ${__tool_directory__}/ebcsgen_generate_ts.py | |
12 --model '$model' | |
13 --output '$output' | |
14 --direct '$network_free_choice' | |
15 #if $adv.bound != "": | |
16 --bound '$adv.bound' | |
17 #end if | |
18 #if $adv.max_time != "": | |
19 --max_time '$adv.max_time' | |
20 #end if | |
21 #if $adv.max_size != "": | |
22 --max_size '$adv.max_size' | |
23 #end if | |
24 </command> | |
25 | |
26 <inputs> | |
27 <param format="bcsl.model" name="model" type="data" label="Model file" help="Provide a BCSL model file"/> | |
28 <param name="network_free_choice" type="select" label="Choose network-free approach:"> | |
29 <option value="False" selected="true">Indirect</option> | |
30 <option value="True">Direct</option> | |
31 </param> | |
32 <section name="adv" title="Advanced Options" expanded="false"> | |
33 <param name="bound" min="0" type="integer" value="" label="Bound [optional]" optional="true"/> | |
34 <param name="max_time" min="0" type="float" value="" | |
35 label="Maximal computation time (in seconds) [optional]" optional="true"/> | |
36 <param name="max_size" min="1" type="integer" value="" label="Maximal TS size [optional]" optional="true"/> | |
37 </section> | |
38 </inputs> | |
39 | |
40 <outputs> | |
41 <data label="Transition system of ${on_string}" format="bcsl.ts" name="output"/> | |
42 </outputs> | |
43 | |
44 <tests> | |
45 <test> | |
46 <param name="model" value="simple.bcsl.model" ftype="bcsl.model"/> | |
47 <output name="output" ftype="bcsl.ts"> | |
48 <assert_contents> | |
49 <has_text text="nodes"/> | |
50 <has_text text="edges"/> | |
51 <has_text text="ordering"/> | |
52 <has_text text="initial"/> | |
53 <has_n_lines n="98" /> | |
54 </assert_contents> | |
55 </output> | |
56 </test> | |
57 </tests> | |
58 </tool> |