projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 790bd94) | patch
Fix to empty response to (get-assignment).
authorMorgan Deters <mdeters@cs.nyu.edu>
Fri, 17 May 2013 12:43:24 +0000 (08:43 -0400)
committerMorgan Deters <mdeters@cs.nyu.edu>
Fri, 17 May 2013 12:43:24 +0000 (08:43 -0400)
commit24cb86db0716875b14d86af27354e13898899b6c
treee32ae8b1c6d03c4b79bca8f301f63d4190f01c6etree
parent790bd94058f65c20f6adc57fc9eeeb12a3955015commit | diff
Fix to empty response to (get-assignment).

Thanks to David Cok for reporting this issue.
src/smt/smt_engine.cpp diff | blob | history