diff --git a/src/test/scala/leon/unit/utils/BijectionSuite.scala b/src/test/scala/leon/unit/utils/BijectionSuite.scala index 05be7f9819c1f75183be223f909921e4f70ac2a8..6bfbb8cb2f4f6f9e70a642c050055d4acd702c2f 100644 --- a/src/test/scala/leon/unit/utils/BijectionSuite.scala +++ b/src/test/scala/leon/unit/utils/BijectionSuite.scala @@ -68,4 +68,14 @@ class BijectionSuite extends FunSuite { assert(b.getA(33) == Some(11)) } + test("Bijection get or else is working") { + val b = new Bijection[Int, Int] + b += (12 -> 33) + + assert(b.getBorElse(12, 15) === 33) + assert(b.getBorElse(11, 15) === 15) + assert(b.getAorElse(12, 15) === 15) + assert(b.getAorElse(30, 10) === 10) + assert(b.getAorElse(33, 15) === 12) + } }