New C++ API: Term: Add missing checks for null. (#3364)
authorAina Niemetz <aina.niemetz@gmail.com>
Wed, 9 Oct 2019 00:24:49 +0000 (17:24 -0700)
committerGitHub <noreply@github.com>
Wed, 9 Oct 2019 00:24:49 +0000 (17:24 -0700)
commit8fa91361af7e891b82f9156e76b7d7e6bb70aa65
treeff96cf082751900c84808bee7d4123c7b729ab01
parent1b6784fe52f4fb745262842e0406d6dd34053cb2
New C++ API: Term: Add missing checks for null. (#3364)

Co-Authored-By: Andres Noetzli <andres.noetzli@gmail.com>
src/api/cvc4cpp.cpp
test/unit/api/term_black.h