From 1c480ce8d97b10449fdc759ebb08f995240bb04a Mon Sep 17 00:00:00 2001 From: Neil Brown Date: Fri, 1 Feb 2008 14:50:25 +0000 Subject: [PATCH] Added a couple more usage check tests --- testcases/automatic/usage-check-1.occ.test | 10 ++++++++++ 1 file changed, 10 insertions(+) diff --git a/testcases/automatic/usage-check-1.occ.test b/testcases/automatic/usage-check-1.occ.test index 8e876be..5b6aed7 100644 --- a/testcases/automatic/usage-check-1.occ.test +++ b/testcases/automatic/usage-check-1.occ.test @@ -112,4 +112,14 @@ PROC m() PAR i = 1 FOR 6 a[i] := 4 +%FAIL Overlap with replicator start + x := 3 + PAR i = x FOR 6 + a[i] := 4 + +%FAIL Overlap with replicator count + x := 3 + PAR i = 1 FOR x + a[i] := 4 + %