projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: be8c263) | patch
Properly honor --stats-all and --stats-expert when printing statistics (#6967)
authorGereon Kremer <nafur42@gmail.com>
Tue, 3 Aug 2021 00:05:54 +0000 (17:05 -0700)
committerGitHub <noreply@github.com>
Tue, 3 Aug 2021 00:05:54 +0000 (00:05 +0000)
commit9547af1fb7fa26d6a3299ede363fc2faaae85908
tree18c7bc5ce076b52a6f3c39a394d9a745e63b2ae2tree
parentbe8c263a87f56a23c2af5cd61d04b3691bac2b19commit | diff
Properly honor --stats-all and --stats-expert when printing statistics (#6967)

This PR fixes an issue that was introduced with fda4613 where printing the statistics would only show non-defaulted and non-expert options.
src/main/command_executor.cpp diff | blob | history
src/smt/smt_engine.cpp diff | blob | history
src/smt/smt_engine.h diff | blob | history