aboutsummaryrefslogtreecommitdiff
path: root/tests/pending/run/reify_fors_newpatmat.check
diff options
context:
space:
mode:
Diffstat (limited to 'tests/pending/run/reify_fors_newpatmat.check')
-rw-r--r--tests/pending/run/reify_fors_newpatmat.check5
1 files changed, 5 insertions, 0 deletions
diff --git a/tests/pending/run/reify_fors_newpatmat.check b/tests/pending/run/reify_fors_newpatmat.check
new file mode 100644
index 000000000..eefddedc2
--- /dev/null
+++ b/tests/pending/run/reify_fors_newpatmat.check
@@ -0,0 +1,5 @@
+Persons over 20: John Richard
+divisors(34) = List(1, 2, 17, 34)
+findNums(15) = (4,1) (5,2) (6,1) (7,4) (8,3) (8,5) (9,2) (9,4) (10,1) (10,3) (10,7) (11,2) (11,6) (11,8) (12,1) (12,5) (12,7) (13,4) (13,6) (13,10) (14,3) (14,5) (14,9)
+average(List(3.5, 5.0, 4.5)) = 4.333333333333333
+scalProd(List(3.5, 5.0, 4.5), List(2.0, 1.0, 3.0)) = 25.5