diff options
Diffstat (limited to 'test/unit/api/op_black.cpp')
-rw-r--r-- | test/unit/api/op_black.cpp | 7 |
1 files changed, 1 insertions, 6 deletions
diff --git a/test/unit/api/op_black.cpp b/test/unit/api/op_black.cpp index 19bd4bb03..379d16850 100644 --- a/test/unit/api/op_black.cpp +++ b/test/unit/api/op_black.cpp @@ -9,7 +9,7 @@ ** All rights reserved. See the file COPYING in the top-level source ** directory for licensing information.\endverbatim ** - ** \brief Black box testing of the Term class + ** \brief Black box testing of the Op class. **/ #include "test_api.h" @@ -41,12 +41,7 @@ TEST_F(TestApiBlackOp, isNull) TEST_F(TestApiBlackOp, opFromKind) { - Op plus(&d_solver, PLUS); - ASSERT_FALSE(plus.isIndexed()); - ASSERT_THROW(plus.getIndices<uint32_t>(), CVC4ApiException); - ASSERT_NO_THROW(d_solver.mkOp(PLUS)); - ASSERT_EQ(plus, d_solver.mkOp(PLUS)); ASSERT_THROW(d_solver.mkOp(BITVECTOR_EXTRACT), CVC4ApiException); } |