projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8b4a32e) | patch
Run lastWinner thread for all commands. Earlier behavior was to run
authorKshitij Bansal <kshitij@cs.nyu.edu>
Mon, 19 Nov 2012 23:48:34 +0000 (23:48 +0000)
committerKshitij Bansal <kshitij@cs.nyu.edu>
Mon, 19 Nov 2012 23:48:34 +0000 (23:48 +0000)
commit83adf1da4487fb73f149ee9c013b4afcbfb92a99
tree250b743f36f6d2b4a30487cc034ce8a90472ec1atree
parent8b4a32e3ce10ebd28ce5f558e78a5214bfe84e82commit | diff
Run lastWinner thread for all commands. Earlier behavior was to run
lastWinner only for (get-model) command, using thread0 otherwise.
src/main/command_executor_portfolio.cpp diff | blob | history