projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b337c99) | patch
New C++ Api: Add missing argument checks in Solver functions. (#6094)
authorAina Niemetz <aina.niemetz@gmail.com>
Wed, 10 Mar 2021 23:27:17 +0000 (15:27 -0800)
committerGitHub <noreply@github.com>
Wed, 10 Mar 2021 23:27:17 +0000 (23:27 +0000)
commit489209a31c2a2bf2f5ce465c1a79f73aad90c764
treecbdf130ff62b7dca417b4e2f196d505d1211eb09tree
parentb337c99fde04f4efc1824880183e29ca6253ee37commit | diff
New C++ Api: Add missing argument checks in Solver functions. (#6094)

This adds missing checks to guard that Term and Sort arguments are
associated with the solver object that is called.
src/api/cvc4cpp.cpp diff | blob | history
src/api/cvc4cpp.h diff | blob | history