diff options
| author | yoni206 <yoni206@users.noreply.github.com> | 2021-08-27 03:34:12 +0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-08-27 00:34:12 +0000 |
| commit | 1639655ca7b8f0f18145fdbb515253810b119d08 (patch) | |
| tree | dfd7b7be07b803453864902893988156cfdc21b6 /src/api/cpp/cvc5.cpp | |
| parent | 8915e3234871e56eb9fa1c188f89a8d825dc10e8 (diff) | |
Add `isNull` to cpp api tests, python api, and python api tests (#7059)
While working on API documentation for python, I noticed that isNull is not wrapped
by the python API. It is also not tested in the cpp API tests. This PR fixes both issues,
and also updates the python api tests accordingly.
Diffstat (limited to 'src/api/cpp/cvc5.cpp')
| -rw-r--r-- | src/api/cpp/cvc5.cpp | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/api/cpp/cvc5.cpp b/src/api/cpp/cvc5.cpp index 12c59c0de..f85286acb 100644 --- a/src/api/cpp/cvc5.cpp +++ b/src/api/cpp/cvc5.cpp @@ -4169,7 +4169,6 @@ bool Datatype::hasNestedRecursion() const bool Datatype::isNull() const { CVC5_API_TRY_CATCH_BEGIN; - CVC5_API_CHECK_NOT_NULL; //////// all checks before this line return isNullHelper(); //////// |