diff options
| author | Aina Niemetz <aina.niemetz@gmail.com> | 2021-04-15 13:04:55 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-04-15 20:04:55 +0000 |
| commit | 77bca094a140b35341257f125a55212ff0108250 (patch) | |
| tree | 1d3369b9be5fc4c3e8cb279ae5ea662e59cbcb3e /test/unit/api/op_black.cpp | |
| parent | 63647b1d79df6f287ea6599958b16fce44b8271d (diff) | |
Rename occurrences of CVC4 to CVC5. (#6351)
This renames everything but GitHub links and build system related
macros. Switching the build system to cvc5 will be the last step in the
renaming process.
Diffstat (limited to 'test/unit/api/op_black.cpp')
| -rw-r--r-- | test/unit/api/op_black.cpp | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/test/unit/api/op_black.cpp b/test/unit/api/op_black.cpp index 0b67c0013..e7b83f455 100644 --- a/test/unit/api/op_black.cpp +++ b/test/unit/api/op_black.cpp @@ -43,13 +43,13 @@ TEST_F(TestApiBlackOp, isNull) TEST_F(TestApiBlackOp, opFromKind) { ASSERT_NO_THROW(d_solver.mkOp(PLUS)); - ASSERT_THROW(d_solver.mkOp(BITVECTOR_EXTRACT), CVC4ApiException); + ASSERT_THROW(d_solver.mkOp(BITVECTOR_EXTRACT), CVC5ApiException); } TEST_F(TestApiBlackOp, getIndicesString) { Op x; - ASSERT_THROW(x.getIndices<std::string>(), CVC4ApiException); + ASSERT_THROW(x.getIndices<std::string>(), CVC5ApiException); Op divisible_ot = d_solver.mkOp(DIVISIBLE, 4); ASSERT_TRUE(divisible_ot.isIndexed()); @@ -59,7 +59,7 @@ TEST_F(TestApiBlackOp, getIndicesString) Op record_update_ot = d_solver.mkOp(RECORD_UPDATE, "test"); std::string record_update_idx = record_update_ot.getIndices<std::string>(); ASSERT_EQ(record_update_idx, "test"); - ASSERT_THROW(record_update_ot.getIndices<uint32_t>(), CVC4ApiException); + ASSERT_THROW(record_update_ot.getIndices<uint32_t>(), CVC5ApiException); } TEST_F(TestApiBlackOp, getIndicesUint) @@ -70,7 +70,7 @@ TEST_F(TestApiBlackOp, getIndicesUint) ASSERT_EQ(bitvector_repeat_idx, 5); ASSERT_THROW( (bitvector_repeat_ot.getIndices<std::pair<uint32_t, uint32_t>>()), - CVC4ApiException); + CVC5ApiException); Op bitvector_zero_extend_ot = d_solver.mkOp(BITVECTOR_ZERO_EXTEND, 6); uint32_t bitvector_zero_extend_idx = @@ -109,7 +109,7 @@ TEST_F(TestApiBlackOp, getIndicesUint) Op tuple_update_ot = d_solver.mkOp(TUPLE_UPDATE, 5); uint32_t tuple_update_idx = tuple_update_ot.getIndices<uint32_t>(); ASSERT_EQ(tuple_update_idx, 5); - ASSERT_THROW(tuple_update_ot.getIndices<std::string>(), CVC4ApiException); + ASSERT_THROW(tuple_update_ot.getIndices<std::string>(), CVC5ApiException); } TEST_F(TestApiBlackOp, getIndicesPairUint) @@ -168,7 +168,7 @@ TEST_F(TestApiBlackOp, getIndicesPairUint) ASSERT_TRUE((floatingpoint_to_fp_generic_indices == std::pair<uint32_t, uint32_t>{4, 25})); ASSERT_THROW(floatingpoint_to_fp_generic_ot.getIndices<std::string>(), - CVC4ApiException); + CVC5ApiException); } TEST_F(TestApiBlackOp, opScopingToString) |