projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 251fd73) | patch
--stats-every-query option: print increment in addition to cumulative value of each...
authorKshitij Bansal <kshitij@cs.nyu.edu>
Thu, 27 Feb 2014 21:43:48 +0000 (16:43 -0500)
committerKshitij Bansal <kshitij@cs.nyu.edu>
Thu, 27 Feb 2014 22:14:43 +0000 (17:14 -0500)
commite104d78c5f9f5ee8e931bc4c1b460cfc68a98498
tree7d9b4e4959917c3ff9cee52011a423f00f942d0ctree
parent251fd73a759a8e5e94103e9b76a06491a92e425bcommit | diff
--stats-every-query option: print increment in addition to cumulative value of each stat

the increment is printed in parantheses at the end, e.g.
sat::decisions, 100 (50)
src/main/command_executor.cpp diff | blob | history
src/main/command_executor.h diff | blob | history
src/main/options diff | blob | history
src/options/base_options diff | blob | history