diff options
Diffstat (limited to 'test/unit/memory.h')
| -rw-r--r-- | test/unit/memory.h | 22 |
1 files changed, 11 insertions, 11 deletions
diff --git a/test/unit/memory.h b/test/unit/memory.h index 726404e5e..45c65c202 100644 --- a/test/unit/memory.h +++ b/test/unit/memory.h @@ -20,7 +20,7 @@ ** ** The WithLimitedMemory destructor will re-establish the previous limit. ** - ** This class does not exist in CVC4_MEMORY_LIMITING_DISABLED is defined. + ** This class does not exist in CVC5_MEMORY_LIMITING_DISABLED is defined. ** This can be disabled for a variety of reasons. ** If this is disabled, there will be a function: ** void WarnWithLimitedMemoryDisabledReason() @@ -39,24 +39,24 @@ #include "base/check.h" #include "base/configuration_private.h" -// Conditionally define CVC4_MEMORY_LIMITING_DISABLED. +// Conditionally define CVC5_MEMORY_LIMITING_DISABLED. #ifdef __APPLE__ -# define CVC4_MEMORY_LIMITING_DISABLED 1 -# define CVC4_MEMORY_LIMITING_DISABLED_REASON "setrlimit() is broken on Mac." +#define CVC5_MEMORY_LIMITING_DISABLED 1 +#define CVC5_MEMORY_LIMITING_DISABLED_REASON "setrlimit() is broken on Mac." #else /* __APPLE__ */ // Tests cannot expect bad_alloc to be thrown due to limit memory using // setrlimit when ASAN is enable. ASAN instead aborts on mmap failures. # if IS_ASAN_BUILD -# define CVC4_MEMORY_LIMITING_DISABLED 1 -# define CVC4_MEMORY_LIMITING_DISABLED_REASON "ASAN's mmap failures abort." +#define CVC5_MEMORY_LIMITING_DISABLED 1 +#define CVC5_MEMORY_LIMITING_DISABLED_REASON "ASAN's mmap failures abort." # endif #endif namespace cvc5 { namespace test { -#ifndef CVC4_MEMORY_LIMITING_DISABLED +#ifndef CVC5_MEMORY_LIMITING_DISABLED class WithLimitedMemory { public: WithLimitedMemory() { remember(); } @@ -89,9 +89,9 @@ class WithLimitedMemory { } // namespace test } // namespace cvc5 -// Remove CVC4_MEMORY_LIMITING_DISABLED_REASON if it is defined. -#ifdef CVC4_MEMORY_LIMITING_DISABLED_REASON -#undef CVC4_MEMORY_LIMITING_DISABLED_REASON -#endif /* CVC4_MEMORY_LIMITING_DISABLED_REASON */ +// Remove CVC5_MEMORY_LIMITING_DISABLED_REASON if it is defined. +#ifdef CVC5_MEMORY_LIMITING_DISABLED_REASON +#undef CVC5_MEMORY_LIMITING_DISABLED_REASON +#endif /* CVC5_MEMORY_LIMITING_DISABLED_REASON */ #endif /* __CVC5__TEST__MEMORY_H */ |