373
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1 |
|
|
491
|
2 |
def urbanmain() = {
|
|
|
3 |
import C1._
|
373
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
4 |
|
|
491
|
5 |
assert(C1.collatz(1) == 0)
|
|
|
6 |
assert(C1.collatz(6) == 8)
|
|
|
7 |
assert(C1.collatz(9) == 19)
|
|
|
8 |
assert(C1.collatz(9000) == 47)
|
373
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
9 |
|
|
491
|
10 |
}
|
373
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
11 |
|