| author | Christian Urban <urbanc@in.tum.de> | 
| Wed, 07 Aug 2019 16:15:42 +0100 | |
| changeset 273 | 9cf4d3c3abd1 | 
| 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))  |