projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a47b818) | patch
with --stats, statistics are dumped for memouts and (normal) exceptions.
authorMorgan Deters <mdeters@gmail.com>
Tue, 12 Oct 2010 22:08:54 +0000 (22:08 +0000)
committerMorgan Deters <mdeters@gmail.com>
Tue, 12 Oct 2010 22:08:54 +0000 (22:08 +0000)
commit900b7443455dd44398e580b957064d8fb98bd8fb
treed13ba7f38d04be1ed2bb45e60e67c35ed084a709tree
parenta47b818c883eafb74afe066915bbbedf760c31e1commit | diff
with --stats, statistics are dumped for memouts and (normal) exceptions.
src/main/main.cpp diff | blob | history