diff --git a/testdata/parser/negative/4.pdl b/testdata/parser/negative/4.pdl new file mode 100644 index 0000000000000000000000000000000000000000..bf323606bd952b1d97999d4a9f14d35e1e4bfadc --- /dev/null +++ b/testdata/parser/negative/4.pdl @@ -0,0 +1,13 @@ +#version 100 + +// built-in outside sync block +primitive main(in a, out b) { + int x = 0; + msg y = create(0); // legal + while (x < 10) { + y = get(a); // illegal + synchronous { + y = get(a); // legal + } + } +}