projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7e5350a) | patch
add regressions from bug reports
authorMorgan Deters <mdeters@gmail.com>
Tue, 6 Jul 2010 00:44:14 +0000 (00:44 +0000)
committerMorgan Deters <mdeters@gmail.com>
Tue, 6 Jul 2010 00:44:14 +0000 (00:44 +0000)
commitc022f31543c7275e02d1a8c655e450e575e13bd0
tree005959b5815e8f4048472b20253e5dc6f3cfff36tree
parent7e5350af64249deef6adcef1b6d425693e7acf5acommit | diff
add regressions from bug reports
16 files changed:
test/regress/regress0/Makefile.am diff | blob | history
test/regress/regress0/bug1.cvc [deleted file] blob | history
test/regress/regress0/bug161.smt [new file with mode: 0644] blob
test/regress/regress0/bug164.smt [new file with mode: 0644] blob
test/regress/regress0/bug167.smt [new file with mode: 0644] blob
test/regress/regress0/bug168.smt [new file with mode: 0644] blob
test/regress/regress0/bug2.smt [new file with mode: 0644] blob
test/regress/regress0/bug49.smt [new file with mode: 0644] blob
test/regress/regress0/cvc3-bug15.cvc [new file with mode: 0644] blob
test/regress/regress0/fuzz_1.smt [new file with mode: 0644] blob
test/regress/regress1/Makefile.am diff | blob | history
test/regress/regress1/bug136.smt [new file with mode: 0644] blob
test/regress/regress1/bug148.smt [new file with mode: 0644] blob
test/regress/regress1/fuzz_1.smt [deleted file] blob | history
test/regress/regress3/Makefile.am diff | blob | history
test/regress/regress3/bug143.smt [new file with mode: 0644] blob