From 49e92ba6346c051140bd49a7ac84dc664c6bfd41 Mon Sep 17 00:00:00 2001
From: Patrick Pelissier <Patrick.Pelissier@gmail.com>
Date: Sat, 19 Aug 2017 16:42:49 +0200
Subject: [PATCH] Add coverage computation.

---
 tests/test-mdeque.c | 12 +++++++++++-
 1 file changed, 11 insertions(+), 1 deletion(-)

diff --git a/tests/test-mdeque.c b/tests/test-mdeque.c
index 242b9fb5..1af795c3 100644
--- a/tests/test-mdeque.c
+++ b/tests/test-mdeque.c
@@ -26,7 +26,11 @@
 #include "m-string.h"
 #include "m-deque.h"
 
+#include "coverage.h"
+
+START_COVERAGE
 DEQUE_DEF(deque, int)
+END_COVERAGE
 
 static void test_ti1(int n)
 {
@@ -38,13 +42,19 @@ static void test_ti1(int n)
     deque_push_back(d, i);
     deque_push_front(d, i);
   }
+  assert (*deque_back(d) == n-1);
+  assert (*deque_front(d) == n-1);
   int s = 0;
   for(int i =0; i < 2*n ;i++) {
     int z;
-    deque_pop_front(&z, d);
+    if ((i % 3) == 0)
+      deque_pop_front(&z, d);
+    else
+      deque_pop_back(&z, d);
     s += z;
   }
   assert (s == n*(n-1) );
+  assert (deque_empty_p(d));
   
   deque_clear(d);
 }