projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6faad28) | patch
Add Solver::getOutput() (#7162)
authorGereon Kremer <nafur42@gmail.com>
Thu, 9 Sep 2021 17:34:43 +0000 (10:34 -0700)
committerGitHub <noreply@github.com>
Thu, 9 Sep 2021 17:34:43 +0000 (17:34 +0000)
commit08d770f84c3959c076cc693de9e251e910e508a7
treeb4d2bf6ff3bcb151ec9d896f09c7297859e437eatree
parent6faad286091f8a6a2b0af8841816bf32b4f2b43ccommit | diff
Add Solver::getOutput() (#7162)

Allow access to the Output() macro via the API.
src/api/cpp/cvc5.cpp diff | blob | history
src/api/cpp/cvc5.h diff | blob | history
src/options/outputc.cpp diff | blob | history
src/options/outputc.h diff | blob | history