From 075a74ea0c1669805ce099dd0f1dad3a57128399 Mon Sep 17 00:00:00 2001
From: Patrick Pelissier <patrick.pelissier@gmail.com>
Date: Tue, 9 Jan 2018 18:52:18 +0100
Subject: [PATCH] Don't expand contract for coverage.

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

diff --git a/tests/coverage.h b/tests/coverage.h
index 85a25fcc..1a4e0880 100644
--- a/tests/coverage.h
+++ b/tests/coverage.h
@@ -56,9 +56,12 @@
 #undef DICTI_OA_CONTRACT
 #undef SHAREDI_CONTRACT
 #undef BUFFERI_CONTRACT
+#undef BUFFERI_PROTECTED_CONTRACT
 #undef ILISTI_CONTRACT
 #undef DEQUEI_CONTRACT
 #undef QUEUEI_MPMC_CONTRACT
+#undef RBTREEI_CONTRACT_NODE
+#undef RBTREEI_CONTRACT
 #undef NDEBUG
 #else
 /* For normal builds, empty macros which does nothing */