diff options
| author | Aina Niemetz <aina.niemetz@gmail.com> | 2021-03-03 17:17:17 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-03-03 17:17:17 -0800 |
| commit | 27d6a284f34ff787882a952572519233ec12b939 (patch) | |
| tree | bed5405a5446dd9c3f86a5c10543ba6fe512a381 /test/unit/api/op_black.cpp | |
| parent | 81cf94dc266f41d7fa10098154fcb233a20d9f43 (diff) | |
New C++ API: Clean up usage of internal types in Op. (#6045)
This disables the temporarily available internals of Op.
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); } |