diff options
author | Kshitij Bansal <kshitij@cs.nyu.edu> | 2012-10-03 19:05:32 +0000 |
---|---|---|
committer | Kshitij Bansal <kshitij@cs.nyu.edu> | 2012-10-03 19:05:32 +0000 |
commit | 98db56a7b94d62a1fb0aa3be555fb09b0f98449f (patch) | |
tree | 3f783ddfc3b17d3ddb992b9ea600729778ab3150 /src/prop/sat_solver.h | |
parent | f0547f8a6fe9cecefde8b1d0c3dc8fcf50219c6b (diff) |
--wait-to-join / --no-wait-to-join option
workaround option till we fix bug 409. for now, I have kept --wait-to-join to
be default (old behavior). We could technically make --no-wait-to-join the
default when using non-incremental mode, but still possible for problems at
exit I think
(this commit was certified error- and warning-free by the test-and-commit script.)
Diffstat (limited to 'src/prop/sat_solver.h')
0 files changed, 0 insertions, 0 deletions