diff --git a/testdata/parser/positive/1.pdl b/testdata/parser/positive/1.pdl index 9e88a779636f927945eae0fd3a4ed04379deac03..725f98df28b34b207f823d46141a845dc0e75cac 100644 --- a/testdata/parser/positive/1.pdl +++ b/testdata/parser/positive/1.pdl @@ -11,7 +11,7 @@ composite main(in asend, out arecv, in bsend, out brecv) { primitive replicator(in a, out b, out c) { while (true) { - synchronous { + sync { if (fires(a) && fires(b) && fires(c)) { msg x = get(a); put(b, x); @@ -40,7 +40,7 @@ composite sequencer(in x, in y) { primitive syncdrain(in a, in b) { while (true) { - synchronous { + sync { if (fires(a) && fires(b)) { get(a); get(b); @@ -54,7 +54,7 @@ primitive syncdrain(in a, in b) { primitive fifo(in a, out b, msg init) { msg c = init; while (true) { - synchronous { + sync { if (c != null) { assert !fires(a); if (fires(b)) { @@ -75,7 +75,7 @@ primitive sequencer2(in x, in y) { while (true) { boolean b = false; while (!b) { - synchronous { + sync { assert !fires(y); if (fires(x)) b = true; @@ -83,7 +83,7 @@ primitive sequencer2(in x, in y) { } b = false; while (!b) { - synchronous { + sync { assert !fires(x); if (fires(y)) b = true;