diff options
| author | Aina Niemetz <aina.niemetz@gmail.com> | 2018-08-23 17:03:08 -0700 |
|---|---|---|
| committer | Andres Noetzli <andres.noetzli@gmail.com> | 2018-08-23 17:03:08 -0700 |
| commit | 907cc0aceb81b9282f63367652f1f68bae4fb40e (patch) | |
| tree | 465756b819c6013690f3eee36a0e39ea17ce8fe4 /src/expr/expr_manager_template.cpp | |
| parent | 11a34205808098e503f145b2a779078dd509729e (diff) | |
New C++ API: Add checks for kind arguments. (#2369)
This should hopefully also take care of the open coverity issues for cvc4cpp.cpp.
Diffstat (limited to 'src/expr/expr_manager_template.cpp')
0 files changed, 0 insertions, 0 deletions