projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7ce4d04) | patch
SMT-LIB get-model output now is easier to machine-parse: contains (model...) bracketing
authorMorgan Deters <mdeters@cs.nyu.edu>
Tue, 8 Jan 2013 22:56:46 +0000 (17:56 -0500)
committerMorgan Deters <mdeters@cs.nyu.edu>
Tue, 8 Jan 2013 22:56:46 +0000 (17:56 -0500)
commitc2393be5f0385609a1fe7cfe76f5665ec53cf4a1
tree816676ad664f9f97e613923a871d007d498a4fd8tree
parent7ce4d047670810a10a3f0fc202cd7d94bb4b7e69commit | diff
SMT-LIB get-model output now is easier to machine-parse: contains (model...) bracketing
src/printer/smt2/smt2_printer.cpp diff | blob | history
src/printer/smt2/smt2_printer.h diff | blob | history
test/regress/regress0/bug411.smt2 diff | blob | history