diff --git a/testcases/automatic/usage-check-1.occ.test b/testcases/automatic/usage-check-1.occ.test index d0f6e22..e0e0b98 100644 --- a/testcases/automatic/usage-check-1.occ.test +++ b/testcases/automatic/usage-check-1.occ.test @@ -54,6 +54,10 @@ PROC m() a[0] := 5 a[1] := 6 +%PASS Overlapping constants in reading + a[1] := a[0] + a[2] := a[0] + %FAIL Two variables a[x] := 3 a[y] := 5