Added an additional testcase for conditions in the usage checking

2008-06-07 20:29:21 +00:00 · 2008-06-07 20:29:21 +00:00 · 2a56189d30
commit 2a56189d30
parent 70139ad072
1 changed files with 6 additions and 0 deletions
--- a/testcases/automatic/usage-check-6.occ.test
+++ b/testcases/automatic/usage-check-6.occ.test
@ -38,4 +38,10 @@ PROC m()
    PAR
      a[3] := 0
      a[k] := 0
+%PASS Distinct due to IF
+  IF
+    i = 3
+      PAR
+        a[i] := 0
+        a[4] := 0
 %