<tool id="pithya" name="PITHYA" version="@TOOL_VERSION@_galaxy0">
    <description>- computes CTL parameter synthesis</description>
    <macros>
        <import>macros.xml</import>
    </macros>
    <expand macro="creator"/>
    <requirements>
        <container type="docker">sybila/pithya:@TOOL_VERSION@</container>
    </requirements>
    <command>pithya
      -m '$input_model'
      -p '$input_property'
      --parallelism '$threads'
      #if $cut_thrs
        --cut-to-range
      #end if
      -r 'json'
      -ro '$output'
      -lo 'stdout'
    </command>

    <inputs>
        <param format="pithya.model" name="input_model" type="data" label="Pithya model file."/>
        <param format="pithya.property" name="input_property" type="data" label="CTL property file."/>
        <param type="boolean" name="cut_thrs" checked="false" label="Cut the thresholds" help="...exceeding explicit minimum and maximum thresholds." />
        <param name="threads" size="2" type="integer" min="1" max="32" value="2" label="Number of threads used for parallelism." />
    </inputs>

    <outputs>
        <data format="pithya.result" name="output" />
    </outputs>

    <tests>
        <test>
            <param name="input_model" value="example.pithya.model"/>
            <param name="input_property" value="properties.pithya.property"/>
            <output name="output" file="result.pithya.result"/>
        </test>
    </tests>

</tool>