diff options
| author | Aina Niemetz <aina.niemetz@gmail.com> | 2021-03-10 17:18:11 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-03-11 01:18:11 +0000 |
| commit | 0a021463ccdf674b5d5d9aee70908fe4fef300b9 (patch) | |
| tree | 09f494f518eabf3574bc1fcd254e54f32227c0bb /test | |
| parent | a5ede7e253513ac0103c2521d7ac0c0452062b43 (diff) | |
Refactor Node::getOperator() to fix compiler warning. (#6110)
Diffstat (limited to 'test')
| -rw-r--r-- | test/unit/expr/node_black.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/test/unit/expr/node_black.cpp b/test/unit/expr/node_black.cpp index 6c9c0a932..b536fb932 100644 --- a/test/unit/expr/node_black.cpp +++ b/test/unit/expr/node_black.cpp @@ -422,8 +422,8 @@ TEST_F(TestNodeBlackNode, getOperator) ASSERT_EQ(f, fa.getOperator()); #ifdef CVC4_ASSERTIONS - ASSERT_THROW(f.getOperator(), IllegalArgumentException); - ASSERT_THROW(a.getOperator(), IllegalArgumentException); + ASSERT_DEATH(f.getOperator(), "mk == kind::metakind::PARAMETERIZED"); + ASSERT_DEATH(a.getOperator(), "mk == kind::metakind::PARAMETERIZED"); #endif } |