From 1c1860ce7e530b4539490763e6792bc7836d82d5 Mon Sep 17 00:00:00 2001
From: Neil Brown <neil@twistedsquare.com>
Date: Sun, 8 Feb 2009 16:06:15 +0000
Subject: [PATCH] Added lots of new tests for parallel replicators with BK, all
 of which fail

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

diff --git a/testcases/automatic/usage-check-6.occ.test b/testcases/automatic/usage-check-6.occ.test
index d35bd5a..774c470 100644
--- a/testcases/automatic/usage-check-6.occ.test
+++ b/testcases/automatic/usage-check-6.occ.test
@@ -132,5 +132,63 @@ PROC m()
         a[k] := 1
       TRUE
         SKIP
+%PASS Replicated, with VAL abbrev of replicator
+  PAR
+    PAR k = 0 FOR 5
+      VAL kay IS k + 5:
+      a[kay] := 4
+    a[4] := 3
+%FAIL Replicated, with VAL abbrev of replicator (unsafe)
+  PAR
+    PAR k = 0 FOR 5
+      VAL kay IS k + 5:
+      a[kay] := 4
+    a[5] := 3
+%PASS Replicated, with VAL and normal abbrev of replicator
+  PAR
+    PAR k = 0 FOR 5
+      VAL kayplus3 IS k + 3:
+      INT kay:
+      SEQ
+        kay := kayplus3 - 3
+        a[kay] := 4
+    a[5] := 3
+%FAIL Replicated, with VAL and normal abbrev of replicator (unsafe)
+  PAR
+    PAR k = 0 FOR 5
+      VAL kayplus3 IS k + 4:
+      INT kay:
+      SEQ
+        kay := kayplus3 - 3
+        a[kay] := 4
+    a[5] := 3
+
+%PASS Replicated, with VAL and normal abbrev of replicator in IF
+  PAR
+    PAR k = 0 FOR 5
+      VAL kayplus3 IS k + 3:
+      INT kay:
+      SEQ
+        IF
+          i > 65
+            kay := kayplus3 - 3
+          TRUE
+            kay := kayplus3 - 4
+        a[kay] := 4
+    a[5] := 3
+%FAIL Replicated, with VAL and normal abbrev of replicator in IF (unsafe)
+  PAR
+    PAR k = 0 FOR 5
+      VAL kayplus3 IS k + 3:
+      INT kay:
+      SEQ
+        IF
+          i > 65
+            kay := kayplus3 - 3
+          TRUE
+            kay := kayplus3 - 2
+        a[kay] := 4
+    a[5] := 3
+
 
 %