| author | Christian Urban <urbanc@in.tum.de> | 
| Sun, 11 Aug 2019 21:01:49 +0100 | |
| changeset 274 | b5faae05fc43 | 
| parent 268 | d20583497c5b | 
| 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)) |