projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: dfa8ba5) | patch
fix valgrind-reported errors in parser builder; a non-SMT parser was always used...
authorMorgan Deters <mdeters@gmail.com>
Fri, 22 Oct 2010 23:17:13 +0000 (23:17 +0000)
committerMorgan Deters <mdeters@gmail.com>
Fri, 22 Oct 2010 23:17:13 +0000 (23:17 +0000)
commitd44fb63c06b20cc2f351f5c7eff8eb752ae7e6a2
tree86aaef3c5007b9bac66f39345e2e1a6cf9bd385ftree
parentdfa8ba577b55318919caae4cd3d03c26eee39944commit | diff
fix valgrind-reported errors in parser builder; a non-SMT parser was always used (rather than an Smt or Smt2) regardless of input language
src/parser/parser_builder.cpp diff | blob | history