projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: cee98d9) | patch
--decision=justification-stoponly : use decision engine only for stopping
authorKshitij Bansal <kshitij@cs.nyu.edu>
Sun, 17 Jun 2012 22:04:41 +0000 (22:04 +0000)
committerKshitij Bansal <kshitij@cs.nyu.edu>
Sun, 17 Jun 2012 22:04:41 +0000 (22:04 +0000)
commitf192e60e8ace79f06d57a6043e77fb8fb48dbabc
treeb1464eaf4300332c073d12a5d725336198d30193tree
parentcee98d92b912c584f460882ea2f00de6d8e49586commit | diff
--decision=justification-stoponly : use decision engine only for stopping
search early, not to make decisions

new options.h :)
src/prop/theory_proxy.cpp diff | blob | history
src/util/options.cpp diff | blob | history
src/util/options.h diff | blob | history