diff options
Diffstat (limited to 'src/base/configuration_private.h')
-rw-r--r-- | src/base/configuration_private.h | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/base/configuration_private.h b/src/base/configuration_private.h index 3b06a9e6a..82938adb9 100644 --- a/src/base/configuration_private.h +++ b/src/base/configuration_private.h @@ -172,6 +172,12 @@ namespace CVC4 { # endif /* __has_feature(address_sanitizer) */ #endif /* defined(__has_feature) */ +#ifdef CVC4_USE_UBSAN +#define IS_UBSAN_BUILD true +#else /* CVC4_USE_UBSAN */ +#define IS_UBSAN_BUILD false +#endif /* CVC4_USE_UBSAN */ + }/* CVC4 namespace */ #endif /* CVC4__CONFIGURATION_PRIVATE_H */ |