From adcacf3cf908ef3695a32b0ab032549480f23337 Mon Sep 17 00:00:00 2001
From: Patrick Pelissier <patrick.pelissier@gmail.com>
Date: Mon, 5 Feb 2018 22:04:50 +0100
Subject: [PATCH] Improve coverage

---
 tests/test-mdeque.c | 12 ++++++++----
 1 file changed, 8 insertions(+), 4 deletions(-)

diff --git a/tests/test-mdeque.c b/tests/test-mdeque.c
index 0cb8ae45..634416c3 100644
--- a/tests/test-mdeque.c
+++ b/tests/test-mdeque.c
@@ -42,19 +42,21 @@ static void test_ti1(int n)
 
   for(int i =0; i < n ;i++) {
     deque_push_back(d, i);
+    assert(*deque_back(d) == i);
     deque_push_front(d, i);
+    assert(*deque_front(d) == i);
   }
-  assert (*deque_back(d) == n-1);
-  assert (*deque_front(d) == n-1);
   assert (!deque_empty_p(d));
   assert (deque_size(d) == (size_t)2*n);
   int s = 0;
   for(int i =0; i < 2*n ;i++) {
     int z;
-    if ((i % 3) == 0)
+    if ((i % 3) == 0) {
       deque_pop_front(&z, d);
-    else
+      assert (z > *deque_front(d) );
+    } else {
       deque_pop_back(&z, d);
+    }
     s += z;
   }
   assert (s == n*(n-1) );
@@ -138,6 +140,8 @@ static void test_it(void)
       deque_previous(it);
       assert (deque_end_p(it) || !deque_last_p(it));
     }
+    deque_previous(it);
+    assert (deque_end_p(it));
     deque_it_end(it, d);
     assert (deque_end_p(it));
     assert (deque_last_p(it));