diff options
author | Aina Niemetz <aina.niemetz@gmail.com> | 2018-12-13 13:17:22 -0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-12-13 13:17:22 -0800 |
commit | bc59b160f3890f68c497dde13ff54c194f476eb4 (patch) | |
tree | 340cf328d723fe2581292ba58b35a38a734c533b /src/api/cvc4cpp.cpp | |
parent | f038f308e044bd1e842996e891e3cb119825113a (diff) |
New C++ API: Add tests for sort functions of solver object. (#2752)
Diffstat (limited to 'src/api/cvc4cpp.cpp')
-rw-r--r-- | src/api/cvc4cpp.cpp | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/api/cvc4cpp.cpp b/src/api/cvc4cpp.cpp index b4d3b013d..cadad4eff 100644 --- a/src/api/cvc4cpp.cpp +++ b/src/api/cvc4cpp.cpp @@ -1750,6 +1750,7 @@ Sort Solver::mkUninterpretedSort(const std::string& symbol) const Sort Solver::mkSortConstructorSort(const std::string& symbol, size_t arity) const { + CVC4_API_ARG_CHECK_EXPECTED(arity > 0, arity) << "an arity > 0"; return d_exprMgr->mkSortConstructor(symbol, arity); } |