diff options
| -rw-r--r-- | test/unit/api/solver_black.h | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/test/unit/api/solver_black.h b/test/unit/api/solver_black.h index 76388d48f..40f641cbd 100644 --- a/test/unit/api/solver_black.h +++ b/test/unit/api/solver_black.h @@ -347,9 +347,7 @@ void SolverBlack::testMkConst() CVC4ApiException&); TS_ASSERT_THROWS(d_solver.mkConst(CONST_BITVECTOR, std::string("")), CVC4ApiException&); - TS_ASSERT_THROWS(d_solver.mkConst(CONST_BITVECTOR, std::string("101", 6)), - CVC4ApiException&); - TS_ASSERT_THROWS(d_solver.mkConst(CONST_BITVECTOR, std::string("102", 16)), + TS_ASSERT_THROWS(d_solver.mkConst(CONST_BITVECTOR, std::string("101"), 6), CVC4ApiException&); // mkConst(Kind kind, int32_t arg) const |