projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c5bf818) | patch
New C++ Api: Second and last batch of API guards. (#4563)
authorAina Niemetz <aina.niemetz@gmail.com>
Thu, 4 Jun 2020 18:07:41 +0000 (11:07 -0700)
committerGitHub <noreply@github.com>
Thu, 4 Jun 2020 18:07:41 +0000 (11:07 -0700)
commitf0169b253759632aee0d21db916fe68702c66116
treef806af9648d17b9fed38897330b208b58a0f5184tree
parentc5bf818456ebe2dee833fecd4a0970f0105919f0commit | diff
New C++ Api: Second and last batch of API guards. (#4563)

This adds the remaining API guards in the Solver object (incl. unit tests).
src/api/cvc4cpp.cpp diff | blob | history
src/smt/smt_engine.cpp diff | blob | history
src/smt/smt_engine.h diff | blob | history
test/unit/api/solver_black.h diff | blob | history