Mercurial > repos > sybila > ebcsgen_pctl_model_checking

comparison ebcsgen_pctl_model_checking.xml @ 1:602c6cab487e 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 81dbe4922abcbd544c1dd9830d05daf661a29658
author sybila
date Tue, 04 Oct 2022 09:54:48 +0000
parents ea5108514910
children
comparison
equal deleted inserted replaced
0:ea5108514910 1:602c6cab487e
1 <tool id="eBCSgen_PCTL_model_checking" name="eBCSgen - PCTL model checking" version="@TOOL_VERSION@_galaxy0"> 1 <tool id="eBCSgen_PCTL_model_checking" name="eBCSgen PCTL model checking" version="@TOOL_VERSION@_galaxy0">
2 <description>- explicit PCTL model checking of transition system</description> 2 <description>- explicit PCTL model checking of transition system</description>
3 <macros> 3 <macros>
4 <import>macros.xml</import> 4 <import>macros.xml</import>
5 </macros> 5 </macros>
6 <expand macro="creator"/> 6 <expand macro="creator"/>