diff options
| author | Aina Niemetz <aina.niemetz@gmail.com> | 2021-04-09 17:22:07 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-04-09 17:22:07 -0700 |
| commit | f87f038c5f0821d0fefb01cea00bfdec6004da91 (patch) | |
| tree | d948178e1c0d2dc459a976f0d187d2d41a5437c0 /test/unit/context | |
| parent | 550c49a7dd2b13ea29743458336f0c0a0fb6099a (diff) | |
Rename CVC4_ macros to CVC5_. (#6327)
Diffstat (limited to 'test/unit/context')
| -rw-r--r-- | test/unit/context/cdlist_black.cpp | 2 | ||||
| -rw-r--r-- | test/unit/context/context_black.cpp | 4 | ||||
| -rw-r--r-- | test/unit/context/context_mm_black.cpp | 2 |
3 files changed, 4 insertions, 4 deletions
diff --git a/test/unit/context/cdlist_black.cpp b/test/unit/context/cdlist_black.cpp index a3241d058..c944b0722 100644 --- a/test/unit/context/cdlist_black.cpp +++ b/test/unit/context/cdlist_black.cpp @@ -138,7 +138,7 @@ TEST_F(TestContextBlackCDList, empty_iterator) TEST_F(TestContextBlackCDList, out_of_memory) { -#ifndef CVC4_MEMORY_LIMITING_DISABLED +#ifndef CVC5_MEMORY_LIMITING_DISABLED CDList<uint32_t> list(d_context.get()); test::WithLimitedMemory wlm(1); diff --git a/test/unit/context/context_black.cpp b/test/unit/context/context_black.cpp index 0ad830162..ee5140da3 100644 --- a/test/unit/context/context_black.cpp +++ b/test/unit/context/context_black.cpp @@ -91,10 +91,10 @@ TEST_F(TestContextBlack, push_pop) // the interface doesn't declare any exceptions d_context->push(); d_context->pop(); -#ifdef CVC4_ASSERTIONS +#ifdef CVC5_ASSERTIONS ASSERT_DEATH(d_context->pop(), "Cannot pop below level 0"); ASSERT_DEATH(d_context->pop(), "Cannot pop below level 0"); -#endif /* CVC4_ASSERTIONS */ +#endif /* CVC5_ASSERTIONS */ } TEST_F(TestContextBlack, dtor) diff --git a/test/unit/context/context_mm_black.cpp b/test/unit/context/context_mm_black.cpp index 0f031ef5b..22b15d70d 100644 --- a/test/unit/context/context_mm_black.cpp +++ b/test/unit/context/context_mm_black.cpp @@ -36,7 +36,7 @@ class TestContextBlackMM : public TestInternal TEST_F(TestContextBlackMM, push_pop) { -#ifdef CVC4_DEBUG_CONTEXT_MEMORY_MANAGER +#ifdef CVC5_DEBUG_CONTEXT_MEMORY_MANAGER #warning "Using the debug context memory manager, omitting unit tests" #else // Push, then allocate, then pop |