projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: fa79faf) | patch
New C++ API: Try to fix (false positive) Coverity warnings. (#2454)
authorAina Niemetz <aina.niemetz@gmail.com>
Wed, 12 Sep 2018 23:41:18 +0000 (16:41 -0700)
committerGitHub <noreply@github.com>
Wed, 12 Sep 2018 23:41:18 +0000 (16:41 -0700)
commitd80588a41753d011202d670dbf7123233b665af9
tree08c4c8bfd24ef153e18f484d1026d8076e8ec0catree
parentfa79faf9e6ca816e8310f96c95623633e63f7befcommit | diff
New C++ API: Try to fix (false positive) Coverity warnings. (#2454)
src/api/cvc4cpp.cpp diff | blob | history