diff --git a/testcases/automatic/usage-check-1.occ.test b/testcases/automatic/usage-check-1.occ.test index b10ba8f..f1d13b1 100644 --- a/testcases/automatic/usage-check-1.occ.test +++ b/testcases/automatic/usage-check-1.occ.test @@ -43,6 +43,23 @@ PROC m() x := 3 x := 4 +%FAIL Identical variables deep within a PAR + PAR + PAR + x := 3 + x := 4 + SKIP + SKIP + +%PASS Identical variables deep within a PAR, but SEQ + PAR + SEQ + x := 3 + x := 4 + SKIP + SKIP + + %FAIL Identical variables, PAR assign x,x := 3,4