projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c24193a) | patch
Do not exit when value/model/unsat-core/proof is requested at wrong time, for bug...
authorajreynol <andrew.j.reynolds@gmail.com>
Mon, 10 Jul 2017 22:40:56 +0000 (17:40 -0500)
committerajreynol <andrew.j.reynolds@gmail.com>
Mon, 10 Jul 2017 22:41:03 +0000 (17:41 -0500)
commit54d24c786d6a843cc72dfb5e377603349ea5e420
tree09c68ea567da6ab079cdaac8a23876121dc2fc8dtree
parentc24193a66e81f08cca82cb834fbd21ef630e1bcbcommit | diff
Do not exit when value/model/unsat-core/proof is requested at wrong time, for bug 831.
src/smt/smt_engine.cpp diff | blob | history