projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d4b0bde) | patch
Added pure PL regression tests. Mostly CNF
authorTim King <taking@cs.nyu.edu>
Sat, 23 Jan 2010 02:20:57 +0000 (02:20 +0000)
committerTim King <taking@cs.nyu.edu>
Sat, 23 Jan 2010 02:20:57 +0000 (02:20 +0000)
commit0d6bb280d364f5f649d04de5fedefa3c8336f7d4
tree7cf28a0c31b75c6be03a8e5caa9833ae02c07c61tree
parentd4b0bde380c101ddff24b983e7af80ae716806a6commit | diff
Added pure PL regression tests. Mostly CNF
31 files changed:
test/regress/C880mul.miter.shuffled-as.sat03-348.smt [new file with mode: 0644] blob
test/regress/Makefile.am diff | blob | history
test/regress/Makefile.in diff | blob | history
test/regress/bmc-galileo-8.smt [new file with mode: 0644] blob
test/regress/bmc-galileo-9.smt [new file with mode: 0644] blob
test/regress/bmc-ibm-1.smt [new file with mode: 0644] blob
test/regress/bmc-ibm-10.smt [new file with mode: 0644] blob
test/regress/bmc-ibm-11.smt [new file with mode: 0644] blob
test/regress/bmc-ibm-12.smt [new file with mode: 0644] blob
test/regress/bmc-ibm-13.smt [new file with mode: 0644] blob
test/regress/bmc-ibm-2.smt [new file with mode: 0644] blob
test/regress/bmc-ibm-3.smt [new file with mode: 0644] blob
test/regress/bmc-ibm-4.smt [new file with mode: 0644] blob
test/regress/bmc-ibm-5.smt [new file with mode: 0644] blob
test/regress/bmc-ibm-6.smt [new file with mode: 0644] blob
test/regress/bmc-ibm-7.smt [new file with mode: 0644] blob
test/regress/friedman_n4_i5.smt [new file with mode: 0644] blob
test/regress/friedman_n6_i4.smt [new file with mode: 0644] blob
test/regress/hole10.cvc [new file with mode: 0644] blob
test/regress/hole6.cvc [new file with mode: 0644] blob
test/regress/hole7.cvc [new file with mode: 0644] blob
test/regress/hole8.cvc [new file with mode: 0644] blob
test/regress/hole9.cvc [new file with mode: 0644] blob
test/regress/instance_1151.smt [new file with mode: 0644] blob
test/regress/instance_1444.smt [new file with mode: 0644] blob
test/regress/logops.cvc [new file with mode: 0644] blob
test/regress/test11.cvc [new file with mode: 0644] blob
test/regress/test12.cvc [new file with mode: 0644] blob
test/regress/test9.cvc [new file with mode: 0644] blob
test/regress/uf20-03.cvc [new file with mode: 0644] blob
test/regress/wiki.cvc [new file with mode: 0644] blob