From 8a0755b8630e67678494cda2fdf6e729b539bb4c Mon Sep 17 00:00:00 2001
From: Patrick Pelissier <Patrick.Pelissier@gmail.com>
Date: Wed, 19 Jul 2017 22:39:00 +0200
Subject: [PATCH] Do not expand the contract macro of the buffer for the
 coverage.

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

diff --git a/tests/coverage.h b/tests/coverage.h
index 2a3173e0..2717a44d 100644
--- a/tests/coverage.h
+++ b/tests/coverage.h
@@ -54,6 +54,7 @@
 #undef DICTI_CONTRACT
 #undef DICTI_OA_CONTRACT
 #undef SHAREDI_CONTRACT
+#undef BUFFERI_CONTRACT
 #else
 /* For normal builds, empty macros which does nothing */
 #define START_COVERAGE