projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e7fdbc4) | patch
Perform statistics printing via the API (#6952)
authorGereon Kremer <nafur42@gmail.com>
Sat, 31 Jul 2021 01:21:36 +0000 (18:21 -0700)
committerGitHub <noreply@github.com>
Sat, 31 Jul 2021 01:21:36 +0000 (01:21 +0000)
commitfda46132b3f5c945a2b5e75bfa6bd5c84525fee6
tree3f3882072b96373e8d20749e248a0f3b648459cdtree
parente7fdbc4d74ccb37efdd118eca519cb23bd350cadcommit | diff
Perform statistics printing via the API (#6952)

This PR changes how the command executor prints the statistics by moving stuff around a bit, eventually using only proper API methods of api::Solver. This PR also removes the smt_engine.h include from command_executor.cpp.
src/api/cpp/cvc5.cpp diff | blob | history
src/api/cpp/cvc5.h diff | blob | history
src/main/command_executor.cpp diff | blob | history
src/smt/smt_engine.cpp diff | blob | history
src/smt/smt_engine.h diff | blob | history