diff options
Diffstat (limited to 'test/unit/expr/node_black.cpp')
| -rw-r--r-- | test/unit/expr/node_black.cpp | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/test/unit/expr/node_black.cpp b/test/unit/expr/node_black.cpp index 0d481ea4f..6c9c0a932 100644 --- a/test/unit/expr/node_black.cpp +++ b/test/unit/expr/node_black.cpp @@ -445,16 +445,16 @@ TEST_F(TestNodeBlackNode, getNumChildren) #ifdef CVC4_ASSERTIONS ASSERT_DEATH(testNaryExpForSize(AND, 0), "getNumChildren\\(\\) >= " - "kind::metakind::getLowerBoundForKind\\(getKind\\(\\)\\)"); + "kind::metakind::getMinArityForKind\\(getKind\\(\\)\\)"); ASSERT_DEATH(testNaryExpForSize(AND, 1), "getNumChildren\\(\\) >= " - "kind::metakind::getLowerBoundForKind\\(getKind\\(\\)\\)"); + "kind::metakind::getMinArityForKind\\(getKind\\(\\)\\)"); ASSERT_DEATH(testNaryExpForSize(NOT, 0), "getNumChildren\\(\\) >= " - "kind::metakind::getLowerBoundForKind\\(getKind\\(\\)\\)"); + "kind::metakind::getMinArityForKind\\(getKind\\(\\)\\)"); ASSERT_DEATH(testNaryExpForSize(NOT, 2), "getNumChildren\\(\\) <= " - "kind::metakind::getUpperBoundForKind\\(getKind\\(\\)\\)"); + "kind::metakind::getMaxArityForKind\\(getKind\\(\\)\\)"); #endif /* CVC4_ASSERTIONS */ } |