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

Added lots of new tests for parallel replicators with BK, all of which fail

Browse Source
This commit is contained in:
Neil Brown 2009-02-08 16:06:15 +00:00
parent c73b307057
commit 1c1860ce7e
1 changed files with 58 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -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
%