projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e0ee222) | patch
Make check-synth robust for assertions that are not the synth conjecture (#2217)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Fri, 27 Jul 2018 15:19:13 +0000 (10:19 -0500)
committerAndres Noetzli <andres.noetzli@gmail.com>
Fri, 27 Jul 2018 15:19:13 +0000 (08:19 -0700)
commit78c7749478ba9152065349f888ae15a5732c409d
tree93fceea83531fa59773d445c8bf7380496c6d704tree
parente0ee22291dff96679a98ac77f3fbaa01de3ab035commit | diff
 Make check-synth robust for assertions that are not the synth conjecture (#2217)
src/smt/smt_engine.cpp diff | blob | history