diff --git a/testdata/parser/negative/24.pdl b/testdata/parser/negative/24.pdl new file mode 100644 index 0000000000000000000000000000000000000000..aa44bdda2068eb610250dd1932822fa70c0b8afa --- /dev/null +++ b/testdata/parser/negative/24.pdl @@ -0,0 +1,14 @@ +#version 100 + +primitive main(in a, out b) { + int x = 0; + int y = 0; + x += y + 5; + y %= x -= 3; + x *= x * x *= 5; + while (true) { + synchronous { + assert fires(a) == fires(b); + } + } +} \ No newline at end of file