projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f0547f8) | patch
--wait-to-join / --no-wait-to-join option
authorKshitij Bansal <kshitij@cs.nyu.edu>
Wed, 3 Oct 2012 19:05:32 +0000 (19:05 +0000)
committerKshitij Bansal <kshitij@cs.nyu.edu>
Wed, 3 Oct 2012 19:05:32 +0000 (19:05 +0000)
commit98db56a7b94d62a1fb0aa3be555fb09b0f98449f
tree3f783ddfc3b17d3ddb992b9ea600729778ab3150tree
parentf0547f8a6fe9cecefde8b1d0c3dc8fcf50219c6bcommit | 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.)
src/main/command_executor_portfolio.cpp diff | blob | history
src/main/options diff | blob | history