projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 107988d) | patch
better verbosity support (so it's sensible when the library is used via the API)
authorMorgan Deters <mdeters@gmail.com>
Fri, 21 Sep 2012 10:24:08 +0000 (10:24 +0000)
committerMorgan Deters <mdeters@gmail.com>
Fri, 21 Sep 2012 10:24:08 +0000 (10:24 +0000)
commit9c543757e459bfae5ce1254322212f72af0d37a4
tree710ae09a33cef2b8d80d1c5ceae9048301c8d460tree
parent107988db066b3265c1cb80662e06f240def2a2c0commit | diff
better verbosity support (so it's sensible when the library is used via the API)

(this commit was certified error- and warning-free by the test-and-commit script.)
src/main/driver_unified.cpp diff | blob | history
src/options/base_options diff | blob | history
src/options/base_options_handlers.h diff | blob | history
src/util/output.cpp diff | blob | history
test/unit/util/output_black.h diff | blob | history