| author | Christian Urban <urbanc@in.tum.de> |
| Thu, 01 Aug 2019 09:48:34 +0100 | |
| changeset 268 | d20583497c5b |
| parent 261 | abb03b298dcb |
| child 281 | 32dfd2ca577b |
| permissions | -rw-r--r-- |
| 268 | 1 |
def myassert(cond : => Boolean) = {
|
2 |
try {
|
|
3 |
assert(cond) |
|
4 |
} catch {
|
|
5 |
case _ : Throwable => System.exit(1) |
|
6 |
} |
|
7 |
} |
|
| 260 | 8 |
|
| 268 | 9 |
myassert(get_delta(None, None) == None) |
10 |
myassert(get_delta(Some(50.0), None) == None) |
|
11 |
myassert(get_delta(None, Some(100.0)) == None) |
|
12 |
myassert(get_delta(Some(50.0), Some(100.0)) == Some(1.0)) |