From c00534209a294f565a62c5bde776a4ef99df6ef4 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Wed, 25 Sep 2013 22:12:49 -0700 Subject: [PATCH] test(splay_map): add tests for improving code coverage Signed-off-by: Leonardo de Moura --- src/tests/util/splay_map.cpp | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/src/tests/util/splay_map.cpp b/src/tests/util/splay_map.cpp index e475fcd86..2b6e08851 100644 --- a/src/tests/util/splay_map.cpp +++ b/src/tests/util/splay_map.cpp @@ -24,6 +24,11 @@ static void tst0() { lean_assert(m1[20] == name("t2")); lean_assert(m2[10] == name("t3")); lean_assert(m2[20] == name("t2")); + lean_assert(m2.size() == 2); + lean_assert(m2[100] == name()); + lean_assert(m2.size() == 3); + lean_assert(m2[100] == name()); + lean_assert(m2.size() == 3); } int main() {