projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e7c50fa) | patch
New C++ API: Catch and throw recoverable exception. (#5122)
authorAina Niemetz <aina.niemetz@gmail.com>
Wed, 23 Sep 2020 04:25:07 +0000 (21:25 -0700)
committerGitHub <noreply@github.com>
Wed, 23 Sep 2020 04:25:07 +0000 (23:25 -0500)
commit24b44a8e559f1d89f309d611922098e667293920
tree01dbbc2a27fd607e8a2ff5f774e19f2fb50554b8tree
parente7c50fad0015527e854b3ceee692907e8242a05bcommit | diff
New C++ API: Catch and throw recoverable exception. (#5122)

This allows to distinguish recoverable from non-recoverable exceptions,
and recover if possible.
src/api/cvc4cpp.cpp diff | blob | history
src/api/cvc4cpp.h diff | blob | history
test/unit/api/solver_black.h diff | blob | history