diff options
Diffstat (limited to 'test/unit/context/context_black.cpp')
| -rw-r--r-- | test/unit/context/context_black.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
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) |