projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 251fd73 e104d78)
Merge pull request #11 from kbansal/improve-stats-every-query
authorKshitij Bansal <kshitij@cs.nyu.edu>
Fri, 28 Feb 2014 02:36:32 +0000 (21:36 -0500)
committerKshitij Bansal <kshitij@cs.nyu.edu>
Fri, 28 Feb 2014 02:36:32 +0000 (21:36 -0500)
--stats-every-query option: print increment in addition to cumulative va...


Trivial merge