Mercurial > repos > sybila > ebcsgen_static_analysis

diff test-data/redundant.bcsl.model @ 0:35cc9bb0b4e9 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 f39ef50b0964744be7816de065024eeb1fb69364
author sybila
date Sat, 08 Oct 2022 14:07:25 +0000
parents
children
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/test-data/redundant.bcsl.model	Sat Oct 08 14:07:25 2022 +0000
@@ -0,0 +1,8 @@
+#! 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
\ No newline at end of file