projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1edf48b) | patch
A couple of fixes to the get-option command for compliance with SMT-LIB.
authorMorgan Deters <mdeters@cs.nyu.edu>
Fri, 17 May 2013 13:27:55 +0000 (09:27 -0400)
committerMorgan Deters <mdeters@cs.nyu.edu>
Mon, 20 May 2013 20:54:27 +0000 (16:54 -0400)
commitdee8aad2f6e54738ad26266618ae71d98e31aa54
tree851559c93f28fbe0e92e3c151f022234f7a9dbd7tree
parent1edf48b7b2377603f066335a2d8d087cd803a152commit | diff
A couple of fixes to the get-option command for compliance with SMT-LIB.

Thanks to David Cok for reporting this issue.
src/expr/command.cpp diff | blob | history
src/options/mkoptions diff | blob | history