From 9f277b0eed0f4b67a87bd35a2fd62863ce5b111e Mon Sep 17 00:00:00 2001
From: Patrick Pelissier <patrick.pelissier@gmail.com>
Date: Wed, 12 Jul 2017 11:01:58 +0200
Subject: [PATCH] Improve quality of coverage report.

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

diff --git a/tests/coverage.h b/tests/coverage.h
index 6ac5e0b1..965f7f75 100644
--- a/tests/coverage.h
+++ b/tests/coverage.h
@@ -47,6 +47,12 @@
 #undef NULL
 #undef M_LIKELY
 #undef M_UNLIKELY
+#undef M_MEMORY_FULL
+#undef STRING_CONTRACT
+#undef ARRAYI_CONTRACT
+#undef LIST_CONTRACT
+#undef DICTI_CONTRACT
+#undef DICTI_OA_CONTRACT
 #else
 /* For normal builds, empty macros which does nothing */
 #define START_COVERAGE