projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6388657) | patch
api: Add explicit guard for option produce-assertions in blockModelValues(). (#7958)
authorAina Niemetz <aina.niemetz@gmail.com>
Thu, 3 Feb 2022 00:18:45 +0000 (16:18 -0800)
committerGitHub <noreply@github.com>
Thu, 3 Feb 2022 00:18:45 +0000 (00:18 +0000)
commit676b43d08a40b7e83002461e8a76421280f8ce4f
treee0c1214db4875ef4bd212e846e9d189d64131779tree
parent638865782039398a8455df663afebe4969657e6bcommit | diff
api: Add explicit guard for option produce-assertions in blockModelValues(). (#7958)

Fixes cvc5/cvc5-projects#412.
src/api/cpp/cvc5.cpp diff | blob | history