From f08fa110ea885138d951e702f4affcb231de468f Mon Sep 17 00:00:00 2001
From: Patrick Pelissier <patrick.pelissier@gmail.com>
Date: Wed, 27 Sep 2017 22:44:28 +0200
Subject: [PATCH] Fix issue for computing coverage.

---
 tests/coverage.h | 1 +
 1 file changed, 1 insertion(+)

diff --git a/tests/coverage.h b/tests/coverage.h
index 3d0755e3..04345793 100644
--- a/tests/coverage.h
+++ b/tests/coverage.h
@@ -58,6 +58,7 @@
 #undef BUFFERI_CONTRACT
 #undef ILISTI_CONTRACT
 #undef DEQUEI_CONTRACT
+#undef NDEBUG
 #else
 /* For normal builds, empty macros which does nothing */
 #define START_COVERAGE