projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d565fae) | patch
Fix portfolio on bug411.smt2. (get-model command should only go to last winner)
authorMorgan Deters <mdeters@cs.nyu.edu>
Mon, 9 Sep 2013 19:26:50 +0000 (15:26 -0400)
committerMorgan Deters <mdeters@cs.nyu.edu>
Mon, 9 Sep 2013 21:21:41 +0000 (17:21 -0400)
commit2ed0b432fd9018f55755a1e6293e66540d58e2db
treec916ec09fdb66a76387184d933f56232052c9435tree
parentd565fae2a46460e92cb097760ce9f9a0954b1747commit | diff
Fix portfolio on bug411.smt2.  (get-model command should only go to last winner)
src/main/command_executor_portfolio.cpp diff | blob | history