From f4b2ba8322bab88dfd5458ce91d7a7fa5713f44d Mon Sep 17 00:00:00 2001 From: Patrick Pelissier Date: Tue, 20 Feb 2018 22:12:09 +0100 Subject: [PATCH] Fix coverage --- tests/coverage.h | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/tests/coverage.h b/tests/coverage.h index a798afe4..b3753e57 100644 --- a/tests/coverage.h +++ b/tests/coverage.h @@ -55,6 +55,7 @@ #undef DICTI_CONTRACT #undef DICTI_OA_CONTRACT #undef SHAREDI_CONTRACT +#undef SHAREDI_RESSOURCE_CONTRACT #undef BUFFERI_CONTRACT #undef BUFFERI_PROTECTED_CONTRACT #undef ILISTI_CONTRACT @@ -63,6 +64,9 @@ #undef RBTREEI_CONTRACT_NODE #undef RBTREEI_CONTRACT #undef NDEBUG +#undef atomic_init +#undef atomic_load +#undef atomic_store #else /* For normal builds, empty macros which does nothing */ #define START_COVERAGE