diff options
author | Morgan Deters <mdeters@cs.nyu.edu> | 2014-06-15 20:16:35 -0400 |
---|---|---|
committer | Morgan Deters <mdeters@cs.nyu.edu> | 2014-06-15 21:08:22 -0400 |
commit | 1a9736b35db944f73a95bf98d800ebae8e435a92 (patch) | |
tree | e9e86667a476c73bc0fe16e200cc00dac8940a22 /src/theory/bv/slicer.cpp | |
parent | 22c89dae0078a89b2c95d07c98e7ae29b5586ebd (diff) |
Careful there aren't too many "success" messages with --tear-down-incremental (can confuse trace runner).
Diffstat (limited to 'src/theory/bv/slicer.cpp')
0 files changed, 0 insertions, 0 deletions