From 23e2f72f4252857b60a094e09c6b324739571220 Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Wed, 25 Sep 2013 22:04:24 -0700
Subject: [PATCH] test(list): add tests for improving code coverage

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
---
 src/tests/util/list.cpp | 13 +++++++++++++
 1 file changed, 13 insertions(+)

diff --git a/src/tests/util/list.cpp b/src/tests/util/list.cpp
index 34762eafe0..92133cdf98 100644
--- a/src/tests/util/list.cpp
+++ b/src/tests/util/list.cpp
@@ -75,11 +75,24 @@ static void tst5() {
     }
 }
 
+static void tst6() {
+    lean_assert(list<int>(10) == list<int>{10});
+}
+
+static void tst7() {
+    list<int> l{10, 20};
+    list<int> l2(30, l);
+    list<int> l3(30, l);
+    lean_assert(l2 == l3);
+}
+
 int main() {
     tst1();
     tst2();
     tst3();
     tst4();
     tst5();
+    tst6();
+    tst7();
     return has_violations() ? 1 : 0;
 }