projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: cedeef2) | patch
Recover from some exceptions. (#5203)
authorAbdalrhman Mohamed <32971963+abdoo8080@users.noreply.github.com>
Tue, 6 Oct 2020 01:11:44 +0000 (20:11 -0500)
committerGitHub <noreply@github.com>
Tue, 6 Oct 2020 01:11:44 +0000 (20:11 -0500)
commitcd7680c5a23ade0bd8d7f0dfac4623ed318639bb
treef58de3855231eb57ac320db90cd67df2f73efc19tree
parentcedeef257a8031bcfb16aa6e6f500121348458bfcommit | diff
Recover from some exceptions. (#5203)

This PR replaces more calls to SmtEngine functions with calls to corresponding Solver functions in command.cpp. The PR also adds CVC4_API_RECOVERABLE_CHECK macro to use for recoverable exceptions.
src/api/cvc4cpp.cpp diff | blob | history
src/smt/command.cpp diff | blob | history
src/smt/command.h diff | blob | history
test/regress/regress0/smtlib/set-info-status.smt2 diff | blob | history