diff --git a/testdata/parser/positive/15.pdl b/testdata/parser/positive/15.pdl deleted file mode 100644 index b01b83017d78daa2452998ad67b8ea4408244bec..0000000000000000000000000000000000000000 --- a/testdata/parser/positive/15.pdl +++ /dev/null @@ -1,28 +0,0 @@ -#version - -import std.reo; - -composite main(out c) { - channel ao -> ai; - channel bo -> bi; - channel axo -> axi; - channel zo -> zi; - new sync_component(ai, bo); - new replicator(bi, {axo, c}); - new consensus({axi, zi}, ao); - new generator(zo); -} - -primitive generator(out z) { - while (true) { - synchronous (msg x) { - if (x == null) { - put(z, x); - assert !fires(x); - } else { - put(z, x); - assert fires(x); - } - } - } -}