core_testing1/collatz_test2.scala
author Christian Urban <christian.urban@kcl.ac.uk>
Mon, 08 Nov 2021 02:29:24 +0000
changeset 408 9e416cdf1755
parent 399 d04b8569f124
child 469 ed7a9ea24f71
permissions -rw-r--r--
updated
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
399
d04b8569f124 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 345
diff changeset
     1
import C1._
125
b91ad3761732 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     2
199
2e13dedd922e updated
Christian Urban <urbanc@in.tum.de>
parents: 144
diff changeset
     3
assert(collatz_max(10) == (19, 9))
2e13dedd922e updated
Christian Urban <urbanc@in.tum.de>
parents: 144
diff changeset
     4
assert(collatz_max(100) == (118, 97))
2e13dedd922e updated
Christian Urban <urbanc@in.tum.de>
parents: 144
diff changeset
     5
assert(collatz_max(1000) == (178, 871))
2e13dedd922e updated
Christian Urban <urbanc@in.tum.de>
parents: 144
diff changeset
     6
assert(collatz_max(10000) == (261, 6171))
2e13dedd922e updated
Christian Urban <urbanc@in.tum.de>
parents: 144
diff changeset
     7
assert(collatz_max(100000) == (350, 77031))
2e13dedd922e updated
Christian Urban <urbanc@in.tum.de>
parents: 144
diff changeset
     8
assert(collatz_max(1000000) == (524, 837799))