diff --git a/testdata/parser/positive/14.pdl b/testdata/parser/positive/14.pdl deleted file mode 100644 index 4ac063f5521d7f24c3f260fcc067f10783792209..0000000000000000000000000000000000000000 --- a/testdata/parser/positive/14.pdl +++ /dev/null @@ -1,35 +0,0 @@ -#version 100 - -composite main(out c) { - channel ao -> ai; - channel bo -> bi; - new sync_component(ai, bo); - new binary_replicator(bi, ao, c); -} - -primitive sync(in a, out b) { - while (true) { - sync { - if (fires(a) && fires(b)) { - msg x = get(a); - put(b, x); - } else { - assert !fires(a) && !fires(b); - } - } - } -} - -primitive binary_replicator(in b, out a, out c) { - while (true) { - sync { - if (fires(b) && fires(a) && fires(c)) { - msg x = get(b); - put(a, x); - put(c, x); - } else { - assert !fires(a) && !fires(b) && !fires(c); - } - } - } -}