Define polyfills for NO_ANTITHESIS_SDK

Author: Bronek

antithesis_sdk.h

@@ -873,21 +873,51 @@ namespace { // Anonymous namespace which is translation-unit-specific; certain s
 
 #ifdef NO_ANTITHESIS_SDK
 
-#define ALWAYS(cond, message, ...)
-#define ALWAYS_OR_UNREACHABLE(cond, message, ...)
-#define SOMETIMES(cond, message, ...)
-#define REACHABLE(message, ...)
-#define UNREACHABLE(message, ...)
-#define ALWAYS_GREATER_THAN(val, threshold, message, ...)
-#define ALWAYS_GREATER_THAN_OR_EQUAL_TO(val, threshold, message, ...)
-#define SOMETIMES_GREATER_THAN(val, threshold, message, ...)
-#define SOMETIMES_GREATER_THAN_OR_EQUAL_TO(val, threshold, message, ...)
-#define ALWAYS_LESS_THAN(val, threshold, message, ...)
-#define ALWAYS_LESS_THAN_OR_EQUAL_TO(val, threshold, message, ...)
-#define SOMETIMES_LESS_THAN(val, threshold, message, ...)
-#define SOMETIMES_LESS_THAN_OR_EQUAL_TO(val, threshold, message, ...)
-#define ALWAYS_SOME(pairs, message, ...)
-#define SOMETIMES_ALL(pairs, message, ...)
+#ifndef ANTITHESIS_SDK_ALWAYS_POLYFILL
+#define ANTITHESIS_SDK_ALWAYS_POLYFILL
+#endif
+
+#ifndef ANTITHESIS_SDK_SOMETIMES_POLYFILL
+#define ANTITHESIS_SDK_SOMETIMES_POLYFILL
+#endif
+
+
+#define ALWAYS(cond, message, ...) \
+    ANTITHESIS_SDK_ALWAYS_POLYFILL(cond, message, __VA_ARGS__)
+#define ALWAYS_OR_UNREACHABLE(cond, message, ...) \
+    ANTITHESIS_SDK_ALWAYS_POLYFILL(cond, message, __VA_ARGS__)
+#define SOMETIMES(cond, message, ...) \
+    ANTITHESIS_SDK_SOMETIMES_POLYFILL(cond, message, __VA_ARGS__)
+#define REACHABLE(message, ...) \
+    ANTITHESIS_SDK_SOMETIMES_POLYFILL(true, message, __VA_ARGS__)
+#define UNREACHABLE(message, ...) \
+    ANTITHESIS_SDK_ALWAYS_POLYFILL(false, message, __VA_ARGS__)
+#define ALWAYS_GREATER_THAN(val, threshold, message, ...) \
+    ANTITHESIS_SDK_ALWAYS_POLYFILL((val > threshold), message, __VA_ARGS__)
+#define ALWAYS_GREATER_THAN_OR_EQUAL_TO(val, threshold, message, ...) \
+    ANTITHESIS_SDK_ALWAYS_POLYFILL((val >= threshold), message, __VA_ARGS__)
+#define SOMETIMES_GREATER_THAN(val, threshold, message, ...) \
+    ANTITHESIS_SDK_SOMETIMES_POLYFILL((val > threshold), message, __VA_ARGS__)
+#define SOMETIMES_GREATER_THAN_OR_EQUAL_TO(val, threshold, message, ...) \
+    ANTITHESIS_SDK_SOMETIMES_POLYFILL((val >= threshold), message, __VA_ARGS__)
+#define ALWAYS_LESS_THAN(val, threshold, message, ...) \
+    ANTITHESIS_SDK_ALWAYS_POLYFILL((val < threshold), message, __VA_ARGS__)
+#define ALWAYS_LESS_THAN_OR_EQUAL_TO(val, threshold, message, ...) \
+    ANTITHESIS_SDK_ALWAYS_POLYFILL((val <= threshold), message, __VA_ARGS__)
+#define SOMETIMES_LESS_THAN(val, threshold, message, ...) \
+    ANTITHESIS_SDK_SOMETIMES_POLYFILL((val < threshold), message, __VA_ARGS__)
+#define SOMETIMES_LESS_THAN_OR_EQUAL_TO(val, threshold, message, ...) \
+    ANTITHESIS_SDK_SOMETIMES_POLYFILL((val <= threshold), message, __VA_ARGS__)
+#define ALWAYS_SOME(pairs, message, ...) \
+    ANTITHESIS_SDK_ALWAYS_POLYFILL([&](){ \
+    for (std::pair<std::string, bool> pair : pairs) \
+        if (pair.second) return true; \
+    return false; }(), message, __VA_ARGS__)
+#define SOMETIMES_ALL(pairs, message, ...) \
+    ANTITHESIS_SDK_SOMETIMES_POLYFILL([&](){ \
+    for (std::pair<std::string, bool> pair : pairs) \
+        if (!pair.second) return false; \
+    return true; }(), message, __VA_ARGS__)
 
 #else