projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0a408cf) | patch
main driver supports .smt2 input, added an smt2 regression (currently broken, so...
authorMorgan Deters <mdeters@gmail.com>
Mon, 3 May 2010 22:05:44 +0000 (22:05 +0000)
committerMorgan Deters <mdeters@gmail.com>
Mon, 3 May 2010 22:05:44 +0000 (22:05 +0000)
commit2c978719ce07be5f6494934363809a36de6ab24a
tree3ba841dc25e8ddca112880bc5180d5cf7cddedd2tree
parent0a408cf7648b9b57f9b84ea1e7efa486eb0c2cebcommit | diff
main driver supports .smt2 input, added an smt2 regression (currently broken, so it doesn't run with "make check")
src/main/getopt.cpp diff | blob | history
src/main/main.cpp diff | blob | history
test/regress/regress0/Makefile.am diff | blob | history
test/regress/regress0/bignum_quant.smt2 [new file with mode: 0644] blob
test/regress/run_regression diff | blob | history