git.libre-soc.org Git - cvc5.git/commit

author	Gereon Kremer <nafur42@gmail.com>
	Sat, 6 Nov 2021 00:27:08 +0000 (17:27 -0700)
committer	GitHub <noreply@github.com>
	Sat, 6 Nov 2021 00:27:08 +0000 (00:27 +0000)
commit	1909b36e01578099d7a773e561b4bec15c067580
tree	fa2de7c867199eac94de9fec1567bcb2e3cbbf1e	tree
parent	ab4e728f1636ffd4681f4a8b4143307c24c78081	commit \| diff

Remove `Notice()` in favor of new `verbose()` (#7588)

This PR removes the remaining usages of the Notice() macros and uses verbose() instead.

21 files changed:

src/api/__pycache__/parsekinds.cpython-39.pyc	[new file with mode: 0644]	blob
src/base/output.cpp		diff \| blob \| history
src/base/output.h		diff \| blob \| history
src/main/driver_unified.cpp		diff \| blob \| history
src/main/interactive_shell.cpp		diff \| blob \| history
src/main/interactive_shell.h		diff \| blob \| history
src/options/options_handler.cpp		diff \| blob \| history
src/proof/proof_checker.cpp		diff \| blob \| history
src/proof/proof_node_manager.cpp		diff \| blob \| history
src/prop/minisat/minisat.cpp		diff \| blob \| history
src/prop/minisat/minisat.h		diff \| blob \| history
src/prop/prop_engine.cpp		diff \| blob \| history
src/prop/sat_solver_factory.cpp		diff \| blob \| history
src/prop/sat_solver_factory.h		diff \| blob \| history
src/smt/check_models.cpp		diff \| blob \| history
src/smt/set_defaults.cpp		diff \| blob \| history
src/smt/set_defaults.h		diff \| blob \| history
src/smt/solver_engine.cpp		diff \| blob \| history
src/theory/strings/skolem_cache.cpp		diff \| blob \| history
test/unit/theory/theory_arith_cad_white.cpp		diff \| blob \| history
test/unit/util/output_black.cpp		diff \| blob \| history