pre_marking1/collatz_test2.scala
author Christian Urban <christian.urban@kcl.ac.uk>
Mon, 08 Nov 2021 01:16:13 +0000
changeset 402 72e43cb53c13
parent 373 0d29bc6ba639
permissions -rw-r--r--
updated
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
373
0d29bc6ba639 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
     1
//def myassert(cond : => Boolean) = {
0d29bc6ba639 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
     2
//  try {
0d29bc6ba639 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
     3
//    assert(cond)
0d29bc6ba639 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
     4
//  } catch { 
0d29bc6ba639 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
     5
//    case _ : Throwable => System.exit(1)
0d29bc6ba639 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
     6
//  }
0d29bc6ba639 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
     7
//}
0d29bc6ba639 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
     8
0d29bc6ba639 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
     9
assert(CW6a.collatz_max(10) == (19, 9))
0d29bc6ba639 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    10
assert(CW6a.collatz_max(100) == (118, 97))
0d29bc6ba639 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    11
assert(CW6a.collatz_max(1000) == (178, 871))
0d29bc6ba639 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    12
assert(CW6a.collatz_max(10000) == (261, 6171))
0d29bc6ba639 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    13
assert(CW6a.collatz_max(100000) == (350, 77031))
0d29bc6ba639 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    14
assert(CW6a.collatz_max(1000000) == (524, 837799))
0d29bc6ba639 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    15
assert(CW6a.collatz_max(2) == (1, 2))
0d29bc6ba639 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    16
assert(CW6a.collatz_max(77000) == (339, 52527))