core_testing1/collatz_test2.scala
author Christian Urban <christian.urban@kcl.ac.uk>
Thu, 02 Nov 2023 13:53:37 +0000
changeset 471 31b81f20fd9a
parent 469 ed7a9ea24f71
permissions -rw-r--r--
updated
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
469
ed7a9ea24f71 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 399
diff changeset
     1
ed7a9ea24f71 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 399
diff changeset
     2
def urbanmain() = {
ed7a9ea24f71 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 399
diff changeset
     3
ed7a9ea24f71 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 399
diff changeset
     4
  import C1._
125
b91ad3761732 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     5
469
ed7a9ea24f71 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 399
diff changeset
     6
  assert(collatz_max(10) == (19, 9))
ed7a9ea24f71 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 399
diff changeset
     7
  assert(collatz_max(100) == (118, 97))
ed7a9ea24f71 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 399
diff changeset
     8
  assert(collatz_max(1000) == (178, 871))
ed7a9ea24f71 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 399
diff changeset
     9
  assert(collatz_max(10000) == (261, 6171))
ed7a9ea24f71 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 399
diff changeset
    10
  assert(collatz_max(100000) == (350, 77031))
ed7a9ea24f71 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 399
diff changeset
    11
  assert(collatz_max(1000000) == (524, 837799))
ed7a9ea24f71 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 399
diff changeset
    12
}