projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: fdd15f6) | 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>
Mon, 20 May 2013 20:55:21 +0000 (16:55 -0400)
commit59cb1ace343f74af41fae55933be48d1b3995780
treeafbe9f45cc4a543ce2546fab2827ed84d5f537e8tree
parentfdd15f6e418277e471e92a8a32f1e2229c3325f5commit | diff
Better error on invalid logic strings.

Thanks to David Cok for reporting this issue.

Conflicts:
library_versions
src/smt/smt_engine.cpp diff | blob | history
src/smt/smt_engine.h diff | blob | history
src/theory/logic_info.cpp diff | blob | history