projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 11a3420) | patch
New C++ API: Add checks for kind arguments. (#2369)
authorAina Niemetz <aina.niemetz@gmail.com>
Fri, 24 Aug 2018 00:03:08 +0000 (17:03 -0700)
committerAndres Noetzli <andres.noetzli@gmail.com>
Fri, 24 Aug 2018 00:03:08 +0000 (17:03 -0700)
commit907cc0aceb81b9282f63367652f1f68bae4fb40e
tree465756b819c6013690f3eee36a0e39ea17ce8fe4tree
parent11a34205808098e503f145b2a779078dd509729ecommit | diff
New C++ API: Add checks for kind arguments. (#2369)

This should hopefully also take care of the open coverity issues for cvc4cpp.cpp.
src/api/cvc4cpp.cpp diff | blob | history
src/api/cvc4cppkind.h diff | blob | history