projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: bc6f79a) | patch
Remove `Chat()` in favor of new `verbose()` (#7586)
authorGereon Kremer <nafur42@gmail.com>
Fri, 5 Nov 2021 20:52:04 +0000 (13:52 -0700)
committerGitHub <noreply@github.com>
Fri, 5 Nov 2021 20:52:04 +0000 (20:52 +0000)
commit7d6d265e4de057510dbb6ae049446f47b047bcb8
tree3b14c369efb74f33503a2a77a1282d0ef50ccf66tree
parentbc6f79ab1ca703b3507fc43e438f17b4422360b8commit | diff
Remove `Chat()` in favor of new `verbose()` (#7586)

This PR completely removes the first of several logging macros. Instead of Chat(), we now use verbose(2).
src/base/output.cpp diff | blob | history
src/base/output.h diff | blob | history
src/main/driver_unified.cpp diff | blob | history
src/options/options_handler.cpp diff | blob | history
src/preprocessing/passes/apply_substs.cpp diff | blob | history
src/preprocessing/passes/ite_simp.cpp diff | blob | history
src/preprocessing/preprocessing_pass.cpp diff | blob | history
src/preprocessing/util/ite_utilities.cpp diff | blob | history
src/smt/process_assertions.cpp diff | blob | history
src/smt/smt_solver.cpp diff | blob | history
test/unit/util/output_black.cpp diff | blob | history