diff options
author | Tim King <taking@cs.nyu.edu> | 2010-01-23 02:20:57 +0000 |
---|---|---|
committer | Tim King <taking@cs.nyu.edu> | 2010-01-23 02:20:57 +0000 |
commit | 0d6bb280d364f5f649d04de5fedefa3c8336f7d4 (patch) | |
tree | 7cf28a0c31b75c6be03a8e5caa9833ae02c07c61 /test/regress/Makefile.am | |
parent | d4b0bde380c101ddff24b983e7af80ae716806a6 (diff) |
Added pure PL regression tests. Mostly CNF
Diffstat (limited to 'test/regress/Makefile.am')
-rw-r--r-- | test/regress/Makefile.am | 33 |
1 files changed, 32 insertions, 1 deletions
diff --git a/test/regress/Makefile.am b/test/regress/Makefile.am index e229d488a..bee3e3a85 100644 --- a/test/regress/Makefile.am +++ b/test/regress/Makefile.am @@ -3,4 +3,35 @@ TESTS = \ simple.cvc \ simple.smt \ bug1.cvc \ - qwh.35.405.shuffled-as.sat03-1651.smt + boolean.cvc \ + hole10.cvc \ + hole6.cvc \ + hole7.cvc \ + hole8.cvc \ + hole9.cvc \ + test9.cvc \ + test12.cvc \ + test11.cvc \ + uf20-03.cvc \ + qwh.35.405.shuffled-as.sat03-1651.smt \ + C880mul.miter.shuffled-as.sat03-348.smt \ + instance_1151.smt \ + instance_1444.smt \ + friedman_n4_i5.smt \ + friedman_n6_i4.smt \ + bmc-galileo-8.smt \ + bmc-galileo-9.smt \ + bmc-ibm-1.smt \ + bmc-ibm-2.smt \ + bmc-ibm-3.smt \ + bmc-ibm-4.smt \ + bmc-ibm-5.smt \ + bmc-ibm-6.smt \ + bmc-ibm-7.smt \ + bmc-ibm-10.smt \ + bmc-ibm-11.smt \ + bmc-ibm-12.smt \ + bmc-ibm-13.smt \ + wiki.cvc \ + logops.cvc + |