projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0a88346) | patch
Remove command-verbosity option (#7581)
authorGereon Kremer <nafur42@gmail.com>
Tue, 9 Nov 2021 00:17:58 +0000 (16:17 -0800)
committerGitHub <noreply@github.com>
Tue, 9 Nov 2021 00:17:58 +0000 (00:17 +0000)
commite5bbc45d20caf51e7df8288d51f20eb12da72aba
treec5fb8bd8b42fae5d8ffb29c67b5cb05fdec5d94etree
parent0a88346eb42c1871382b04c5e7d34bbc0180af29commit | diff
Remove command-verbosity option (#7581)

This PR removes the command-verbosity option. It is implemented as a weird special case, and nobody seems to use it anyway.
src/main/command_executor.cpp diff | blob | history
src/smt/command.cpp diff | blob | history
src/smt/command.h diff | blob | history
src/smt/solver_engine.cpp diff | blob | history
src/smt/solver_engine.h diff | blob | history
test/regress/regress0/options/ast-and-sexpr.smt2 diff | blob | history
test/regress/regress0/options/set-and-get-options.smt2 diff | blob | history