projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 067f3f5) | 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>
Fri, 17 May 2013 13:27:55 +0000 (09:27 -0400)
commit36dd801660bad8fe1d967c887363f15dbe1bcc63
tree948ee61a773e96ffee8d19a4a4e3599b4671c616tree
parent067f3f556a84c1af54d4ef2188d1b145d02b26e3commit | 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