diff options
Diffstat (limited to 'test/unit/node/node_manager_white.cpp')
-rw-r--r-- | test/unit/node/node_manager_white.cpp | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/test/unit/node/node_manager_white.cpp b/test/unit/node/node_manager_white.cpp index a13e76d03..986eac870 100644 --- a/test/unit/node/node_manager_white.cpp +++ b/test/unit/node/node_manager_white.cpp @@ -46,9 +46,9 @@ TEST_F(TestNodeWhiteNodeManager, oversized_node_builder) ASSERT_NO_THROW(nb.realloc(15)); ASSERT_NO_THROW(nb.realloc(25)); ASSERT_NO_THROW(nb.realloc(256)); -#ifdef CVC4_ASSERTIONS +#ifdef CVC5_ASSERTIONS ASSERT_DEATH(nb.realloc(100), "toSize > d_nvMaxChildren"); -#endif /* CVC4_ASSERTIONS */ +#endif /* CVC5_ASSERTIONS */ ASSERT_NO_THROW(nb.realloc(257)); ASSERT_NO_THROW(nb.realloc(4000)); ASSERT_NO_THROW(nb.realloc(20000)); @@ -56,9 +56,9 @@ TEST_F(TestNodeWhiteNodeManager, oversized_node_builder) ASSERT_NO_THROW(nb.realloc(65535)); ASSERT_NO_THROW(nb.realloc(65536)); ASSERT_NO_THROW(nb.realloc(67108863)); -#ifdef CVC4_ASSERTIONS +#ifdef CVC5_ASSERTIONS ASSERT_DEATH(nb.realloc(67108863), "toSize > d_nvMaxChildren"); -#endif /* CVC4_ASSERTIONS */ +#endif /* CVC5_ASSERTIONS */ } TEST_F(TestNodeWhiteNodeManager, topological_sort) |