main_marking1/drumb_test4.scala
author Christian Urban <christian.urban@kcl.ac.uk>
Thu, 04 Dec 2025 15:04:05 +0000
changeset 505 c06b45a52d50
parent 421 864107857d27
permissions -rw-r--r--
atted



assert(M1.get_delta(None, None) == None)
assert(M1.get_delta(Some(50.0), None) == None)
assert(M1.get_delta(None, Some(100.0)) == None)
assert(M1.get_delta(Some(50.0), Some(100.0)) == Some(1.0))