Add error message when Antithesis enabled without Debug

XRPLF · Jul 11, 2024 · 3cf1c00 · 3cf1c00
1 parent 6b48def
commit 3cf1c00
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/include/xrpl/basics/instrumentation.h b/include/xrpl/basics/instrumentation.h
@@ -23,8 +23,12 @@ OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
 #include <cassert>
 
 #ifdef ENABLE_VOIDSTAR
+#ifndef NDEBUG
 #include <antithesis_sdk.h>
 #else
+#pragma GCC error "Antithesis instrumentation requires Debug build"
+#endif
+#else
 #define ALWAYS(cond, message, ...)
 #define ALWAYS_OR_UNREACHABLE(cond, message, ...) assert(message&& cond)
 #define SOMETIMES(cond, message, ...)