From 4e152a0f7086e9934a366b368a1c7e9f5c65e56f Mon Sep 17 00:00:00 2001
From: Neil Brown <neil@twistedsquare.com>
Date: Mon, 9 Feb 2009 15:13:53 +0000
Subject: [PATCH] Added some more replicated tests with more complex
 combinations of IF conditions

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

diff --git a/testcases/automatic/usage-check-6.occ.test b/testcases/automatic/usage-check-6.occ.test
index 774c470..069a364 100644
--- a/testcases/automatic/usage-check-6.occ.test
+++ b/testcases/automatic/usage-check-6.occ.test
@@ -190,5 +190,73 @@ PROC m()
         a[kay] := 4
     a[5] := 3
 
+%PASS Replicated, following TRUE branch
+  PAR
+    a[0] := 3
+    PAR k = 0 FOR 10
+      IF
+        k = 0
+          SKIP
+        TRUE
+          a[k] := 4
+%FAIL Replicated, following TRUE branch (unsafe)
+  PAR
+    a[0] := 3
+    PAR k = 0 FOR 10
+      IF
+        k = 1
+          SKIP
+        TRUE
+          a[k] := 4
+%PASS Replicated, following NOT with = branch
+  PAR
+    a[0] := 3
+    PAR k = 0 FOR 10
+      IF
+        NOT (k = 0)
+          a[k] := 4
+        TRUE
+          SKIP
+%FAIL Replicated, following NOT with = branch (unsafe)
+  PAR
+    a[0] := 3
+    PAR k = 0 FOR 10
+      IF
+        NOT (k = 0)
+          SKIP
+        TRUE
+          a[k] := 4
+%PASS Replicated, following TRUE branch with OR
+  PAR
+    a[0] := 3
+    a[9] := 4
+    PAR k = 0 FOR 10
+      IF
+        (k = 0) OR (k = 9)
+          SKIP
+        TRUE
+          a[k] := 4
+%PASS Replicated, following TRUE branch with NOT and AND
+  PAR
+    a[0] := 3
+    a[9] := 4
+    PAR k = 0 FOR 10
+      IF
+        NOT ((k <> 0) AND (k <> 9))
+          SKIP
+        TRUE
+          a[k] := 4
+%FAIL Replicated, following TRUE branch with bad AND
+  PAR
+    a[0] := 3
+    a[9] := 4
+    PAR k = 0 FOR 10
+      IF
+        (k = 0) AND (k = 9)
+          SKIP
+        TRUE
+          a[k] := 4
+
+        
 
 %