pep-material: marking1/collatz_test1.scala@48dac4856e95 (annotated)

158 f60e0908f80b updated Christian Urban <urbanc@in.tum.de> parents: diff changeset	1
267 10a2ef26a92c updated myassert workaround Christian Urban <urbanc@in.tum.de> parents: 266 diff changeset	2	def myassert(cond : => Boolean) = {
10a2ef26a92c updated myassert workaround Christian Urban <urbanc@in.tum.de> parents: 266 diff changeset	3	try {
10a2ef26a92c updated myassert workaround Christian Urban <urbanc@in.tum.de> parents: 266 diff changeset	4	assert(cond)
10a2ef26a92c updated myassert workaround Christian Urban <urbanc@in.tum.de> parents: 266 diff changeset	5	} catch {
10a2ef26a92c updated myassert workaround Christian Urban <urbanc@in.tum.de> parents: 266 diff changeset	6	case _ : Throwable => System.exit(1)
10a2ef26a92c updated myassert workaround Christian Urban <urbanc@in.tum.de> parents: 266 diff changeset	7	}
10a2ef26a92c updated myassert workaround Christian Urban <urbanc@in.tum.de> parents: 266 diff changeset	8	}
158 f60e0908f80b updated Christian Urban <urbanc@in.tum.de> parents: diff changeset	9
267 10a2ef26a92c updated myassert workaround Christian Urban <urbanc@in.tum.de> parents: 266 diff changeset	10	myassert(collatz(1) == 0)
10a2ef26a92c updated myassert workaround Christian Urban <urbanc@in.tum.de> parents: 266 diff changeset	11	myassert(collatz(6) == 8)
10a2ef26a92c updated myassert workaround Christian Urban <urbanc@in.tum.de> parents: 266 diff changeset	12	myassert(collatz(9) == 19)
10a2ef26a92c updated myassert workaround Christian Urban <urbanc@in.tum.de> parents: 266 diff changeset	13	myassert(collatz(9000) == 47)
158 f60e0908f80b updated Christian Urban <urbanc@in.tum.de> parents: diff changeset	14

author	Christian Urban <urbanc@in.tum.de>
	Fri, 16 Aug 2019 08:45:21 +0100
changeset 277	48dac4856e95
parent 267	10a2ef26a92c
child 281	32dfd2ca577b
permissions	-rw-r--r--