projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3afbf81) | patch
Better error on invalid logic strings.
authorMorgan Deters <mdeters@cs.nyu.edu>
Fri, 17 May 2013 14:19:54 +0000 (10:19 -0400)
committerMorgan Deters <mdeters@cs.nyu.edu>
Fri, 17 May 2013 14:19:54 +0000 (10:19 -0400)
commitd6ef5385a8759d708b75077ec7e919eff783a6cf
tree146f6cd9c25dfd64620396d11e1982d0171efa93tree
parent3afbf810287fb3f1a99ef907f91f5e93c3b93226commit | diff
Better error on invalid logic strings.

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