diff --git a/fco2/testcases/reprep.occ b/fco2/testcases/reprep.occ new file mode 100644 index 0000000..ee3dd67 --- /dev/null +++ b/fco2/testcases/reprep.occ @@ -0,0 +1,18 @@ +-- This is from cgtest04. + +PROC IU50 () + VAL m IS 10 : + VAL n IS 15 : + [n] [m] INT a, b : + SEQ + IF + IF x = 0 FOR n + IF y = 0 FOR m + a [x] [y] <> b [x] [y] + SKIP +: + +PROC P () + IU50 () +: +