diff --git a/testdata/parser/positive/5.pdl b/testdata/parser/positive/5.pdl deleted file mode 100644 index 3804782f9308b5b139d3e24069ba8ba88f7acf20..0000000000000000000000000000000000000000 --- a/testdata/parser/positive/5.pdl +++ /dev/null @@ -1,20 +0,0 @@ -#version 100 - -import std.reo; -import std.buf; - -primitive main(in a, out b) { - while (true) { - sync { - if (fires(a) && fires(b)) { - msg x = get(a); - short y = readShort(x, 0); - y++; - writeShort(x, 0, y); - put(b, x); - } else { - assert !fires(a) && !fires(b); - } - } - } -}