Added some more testcases involving deduction from (sequential) replicator bounds

2008-06-06 10:39:12 +00:00 · 2008-06-06 10:39:12 +00:00 · cb6fb40440
commit cb6fb40440
parent b9b025a429
1 changed files with 10 additions and 1 deletions
--- a/testcases/automatic/usage-check-6.occ.test
+++ b/testcases/automatic/usage-check-6.occ.test
@ -28,5 +28,14 @@ PROC m()
    PAR
      a[i] := 0
      a[j + 1] := 0
-
+%PASS Distinct variables due to bounds
+  SEQ k = 0 FOR 4
+    PAR
+      a[4] := 0
+      a[k] := 0
+%FAIL Non-distinct variables due to bounds
+  SEQ k = 0 FOR 4
+    PAR
+      a[3] := 0
+      a[k] := 0
 %