diff options
author | Aina Niemetz <aina.niemetz@gmail.com> | 2020-08-11 12:58:28 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-08-11 12:58:28 -0700 |
commit | 1c859fd0f43fa2081bdb247423e81d9174a5f474 (patch) | |
tree | 604dfd4d7994250f78520a7adf819eb0a0d1a828 /test | |
parent | 33b96c656515f9634ec97b021da8da5dee2b9bcd (diff) |
New C++ API: Remove redundant API functions for mkReal. (#4870)
This further removes redundant API functions with a `const char*`
parameter. These are redundant (and can create ambiguity) since they
have `const string&` counterparts.
Diffstat (limited to 'test')
-rw-r--r-- | test/unit/api/solver_black.h | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/test/unit/api/solver_black.h b/test/unit/api/solver_black.h index d10813f58..9837d6b00 100644 --- a/test/unit/api/solver_black.h +++ b/test/unit/api/solver_black.h @@ -661,7 +661,6 @@ void SolverBlack::testMkReal() TS_ASSERT_THROWS_NOTHING(d_solver->mkReal("12/3")); TS_ASSERT_THROWS_NOTHING(d_solver->mkReal(".2")); TS_ASSERT_THROWS_NOTHING(d_solver->mkReal("2.")); - TS_ASSERT_THROWS(d_solver->mkReal(nullptr), CVC4ApiException&); TS_ASSERT_THROWS(d_solver->mkReal(""), CVC4ApiException&); TS_ASSERT_THROWS(d_solver->mkReal("asdf"), CVC4ApiException&); TS_ASSERT_THROWS(d_solver->mkReal("1.2/3"), CVC4ApiException&); @@ -737,7 +736,6 @@ void SolverBlack::testMkChar() { TS_ASSERT_THROWS_NOTHING(d_solver->mkChar(std::string("0123"))); TS_ASSERT_THROWS_NOTHING(d_solver->mkChar("aA")); - TS_ASSERT_THROWS(d_solver->mkChar(nullptr), CVC4ApiException&); TS_ASSERT_THROWS(d_solver->mkChar(""), CVC4ApiException&); TS_ASSERT_THROWS(d_solver->mkChar("0g0"), CVC4ApiException&); TS_ASSERT_THROWS(d_solver->mkChar("100000"), CVC4ApiException&); |