Mercurial > repos > sybila > ebcsgen_static_analysis

view test-data/redundant.bcsl.model @ 1:c3e4561d2cab 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 83232805a8721c48078c88367e3480a5553f0182
author sybila
date Fri, 14 Oct 2022 16:26:53 +0000
parents 35cc9bb0b4e9
children
line wrap: on
line source

#! rules
r1_S ~ P(S{i})::cell => P(S{a})::cell
r1_T ~ P(T{i})::cell => P(T{a})::cell
r2 ~ P()::cell => P()::out
r1_X ~ P(T{i})::cell => P(T{a})::cell

#! inits
1 P(S{i},T{i})::cell