projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4f5b2c6) | patch
Add Solver::isOutputOn() (#7187)
authorGereon Kremer <nafur42@gmail.com>
Mon, 13 Sep 2021 19:21:50 +0000 (21:21 +0200)
committerGitHub <noreply@github.com>
Mon, 13 Sep 2021 19:21:50 +0000 (19:21 +0000)
commit3a67082f2155760917e72efbd08d15af9d06ab13
tree863e37f8a5e0a75ba115cde8e96bdebb3822653atree
parent4f5b2c6f5e52ce4bf6e0afd317cd7daaa33c1550commit | diff
Add Solver::isOutputOn() (#7187)

This PR adds a new api::Solver::isOutputOn() method, including unit tests for both isOutputOn() and getOutput().
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
test/unit/api/solver_black.cpp diff | blob | history