From cb6fb40440d6cf9b68f2a2421a3cc9840faa7412 Mon Sep 17 00:00:00 2001
From: Neil Brown <neil@twistedsquare.com>
Date: Fri, 6 Jun 2008 10:39:12 +0000
Subject: [PATCH] Added some more testcases involving deduction from
 (sequential) replicator bounds

---
 testcases/automatic/usage-check-6.occ.test | 11 ++++++++++-
 1 file changed, 10 insertions(+), 1 deletion(-)

diff --git a/testcases/automatic/usage-check-6.occ.test b/testcases/automatic/usage-check-6.occ.test
index 87f85dd..85b1ddb 100644
--- 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
 %