projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 22c89da) | patch
Careful there aren't too many "success" messages with --tear-down-incremental (can...
authorMorgan Deters <mdeters@cs.nyu.edu>
Mon, 16 Jun 2014 00:16:35 +0000 (20:16 -0400)
committerMorgan Deters <mdeters@cs.nyu.edu>
Mon, 16 Jun 2014 01:08:22 +0000 (21:08 -0400)
commit1a9736b35db944f73a95bf98d800ebae8e435a92
treee9e86667a476c73bc0fe16e200cc00dac8940a22tree
parent22c89dae0078a89b2c95d07c98e7ae29b5586ebdcommit | diff
Careful there aren't too many "success" messages with --tear-down-incremental (can confuse trace runner).
src/main/driver_unified.cpp diff | blob | history
src/options/base_options diff | blob | history