projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 274aa29) | patch
Add isNullHelper to avoid calling API function isNull with CVC4_API_CHECK_NOT_NULL...
authormakaimann <makaim@stanford.edu>
Tue, 3 Dec 2019 14:58:47 +0000 (06:58 -0800)
committerAndrew Reynolds <andrew.j.reynolds@gmail.com>
Tue, 3 Dec 2019 14:58:47 +0000 (08:58 -0600)
commit8a114b1899a5b31dfe733b0dd4ed897942e43f03
treec1774f0a1eafb46f7598fdacee0b02ca882be63atree
parent274aa297537a7cbf268c8f8b73f671498e372fe0commit | diff
Add isNullHelper to avoid calling API function isNull with CVC4_API_CHECK_NOT_NULL (#3520)
src/api/cvc4cpp.cpp diff | blob | history
src/api/cvc4cpp.h diff | blob | history