projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a0b4c2b) | patch
Simplify printing of command results (#8902)
authorAndres Noetzli <andres.noetzli@gmail.com>
Wed, 22 Jun 2022 21:55:52 +0000 (14:55 -0700)
committerGitHub <noreply@github.com>
Wed, 22 Jun 2022 21:55:52 +0000 (21:55 +0000)
commitc1738f508bc9dd7615eaa7b7b4af24acfa46f65c
tree5d634dcfec9179e4b47abe50d6d51c17822763e4tree
parenta0b4c2bc73241f8ef43df46aca0cc334cdd931a2commit | diff
Simplify printing of command results (#8902)

This moves redundant code from `Command::printResult()` overrides to the
base method. This is a step towards simplifying printing options, which
is needed to fix #8893 (which itself is a step towards a parser API).
src/smt/command.cpp diff | blob | history
src/smt/command.h diff | blob | history