diff --git a/testdata/parser/positive/2.pdl b/testdata/parser/positive/2.pdl deleted file mode 100644 index 08c6424301a45f808a1d76f042f2c32144387dd6..0000000000000000000000000000000000000000 --- a/testdata/parser/positive/2.pdl +++ /dev/null @@ -1,29 +0,0 @@ -#version 100 - -import std.reo; - -composite main(in asend, out arecv, in bsend, out brecv, in csend, out crecv) { - channel xo -> xi; - channel yo -> yi; - channel zo -> zi; - // Every synchronous round, at most one message is sent (to determine a global order) - new mymerger(asend, bsend, xo); - new mymerger(csend, xi, yo); - // If a message is sent, it is broadcast to every recipient - new replicator(yi, {arecv, zo}); - new replicator(zi, {brecv, crecv}); -} - -primitive mymerger(in a, in b, out c) { - while (true) { - sync { - if (fires(a) && !fires(b) && fires(c)) { - put(c, get(a)); - } else if (!fires(a) && fires(b) && fires(c)) { - put(c, get(b)); - } else { - assert !fires(a) && !fires(b) && !fires(c); - } - } - } -}