suzanne.soy/tock-mirror
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Added some more replicated tests with more complex combinations of IF conditions

Browse Source
This commit is contained in:
Neil Brown 2009-02-09 15:13:53 +00:00
parent 8477ee9d3f
commit 4e152a0f70
1 changed files with 68 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

68
testcases/automatic/usage-check-6.occ.test
View File

@ -190,5 +190,73 @@ PROC m()
a[kay] := 4 a[kay] := 4
a[5] := 3 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
% %