projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d96815f) | patch
New C++ API: Add missing catch blocks for std::invalid_argument. (#2772)
authorAina Niemetz <aina.niemetz@gmail.com>
Fri, 4 Jan 2019 03:29:43 +0000 (19:29 -0800)
committerGitHub <noreply@github.com>
Fri, 4 Jan 2019 03:29:43 +0000 (19:29 -0800)
commitb06f9b64b55780de693ce9e1a38565f1e34cc5a0
tree638c8c2852f8669b2313d3c1a48613543dbd8b33tree
parentd96815ffdd4ee0bf9422b7f0194a23a0a42462c3commit | diff
New C++ API: Add missing catch blocks for std::invalid_argument. (#2772)
src/api/cvc4cpp.cpp diff | blob | history