From 68dbe841ceed19a7cf3694632d17d8d76b58802d Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?R=C3=A9gis=20Blanc?= <regwblanc@gmail.com>
Date: Sat, 9 Apr 2016 03:09:04 +0200
Subject: [PATCH] additional tests for Bijection Suite
---
src/test/scala/leon/unit/utils/BijectionSuite.scala | 10 ++++++++++
1 file changed, 10 insertions(+)
diff --git a/src/test/scala/leon/unit/utils/BijectionSuite.scala b/src/test/scala/leon/unit/utils/BijectionSuite.scala
index 05be7f981..6bfbb8cb2 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)
+ }
}
--
GitLab