diff options
author | makaimann <makaim@stanford.edu> | 2019-12-03 06:58:47 -0800 |
---|---|---|
committer | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2019-12-03 08:58:47 -0600 |
commit | 8a114b1899a5b31dfe733b0dd4ed897942e43f03 (patch) | |
tree | c1774f0a1eafb46f7598fdacee0b02ca882be63a /src/util/cvc4_assert.h | |
parent | 274aa297537a7cbf268c8f8b73f671498e372fe0 (diff) |
Add isNullHelper to avoid calling API function isNull with CVC4_API_CHECK_NOT_NULL (#3520)
Diffstat (limited to 'src/util/cvc4_assert.h')
0 files changed, 0 insertions, 0 deletions