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 /contrib | |
| parent | 274aa297537a7cbf268c8f8b73f671498e372fe0 (diff) | |
Add isNullHelper to avoid calling API function isNull with CVC4_API_CHECK_NOT_NULL (#3520)
Diffstat (limited to 'contrib')
0 files changed, 0 insertions, 0 deletions