Mercurial > repos > sybila > ebcsgen_static_analysis
annotate test-data/redundant.bcsl.model @ 2:eafac9fe4b40 draft default tip
planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit 4719a69f514aed27d90c7017f052463b0b43cbb0
author | sybila |
---|---|
date | Sat, 15 Oct 2022 09:24:21 +0000 |
parents | 35cc9bb0b4e9 |
children |
rev | line source |
---|---|
0
35cc9bb0b4e9
planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit f39ef50b0964744be7816de065024eeb1fb69364
sybila
parents:
diff
changeset
|
1 #! rules |
35cc9bb0b4e9
planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit f39ef50b0964744be7816de065024eeb1fb69364
sybila
parents:
diff
changeset
|
2 r1_S ~ P(S{i})::cell => P(S{a})::cell |
35cc9bb0b4e9
planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit f39ef50b0964744be7816de065024eeb1fb69364
sybila
parents:
diff
changeset
|
3 r1_T ~ P(T{i})::cell => P(T{a})::cell |
35cc9bb0b4e9
planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit f39ef50b0964744be7816de065024eeb1fb69364
sybila
parents:
diff
changeset
|
4 r2 ~ P()::cell => P()::out |
35cc9bb0b4e9
planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit f39ef50b0964744be7816de065024eeb1fb69364
sybila
parents:
diff
changeset
|
5 r1_X ~ P(T{i})::cell => P(T{a})::cell |
35cc9bb0b4e9
planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit f39ef50b0964744be7816de065024eeb1fb69364
sybila
parents:
diff
changeset
|
6 |
35cc9bb0b4e9
planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit f39ef50b0964744be7816de065024eeb1fb69364
sybila
parents:
diff
changeset
|
7 #! inits |
35cc9bb0b4e9
planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit f39ef50b0964744be7816de065024eeb1fb69364
sybila
parents:
diff
changeset
|
8 1 P(S{i},T{i})::cell |