diff options
author | Morgan Deters <mdeters@cs.nyu.edu> | 2013-01-29 17:39:12 -0500 |
---|---|---|
committer | Morgan Deters <mdeters@cs.nyu.edu> | 2013-02-03 15:39:29 -0500 |
commit | 1885fb09079e71b0b99cb06de90fa1abb475a068 (patch) | |
tree | 948091bac92eff85a96b0e45e6c94c6db1bb7bef /test/regress/regress0/arith/Makefile.am | |
parent | 458d47b2330418fb0045197e12edc9c730034180 (diff) |
new miplib pass, works for 1 or 2 vars
Diffstat (limited to 'test/regress/regress0/arith/Makefile.am')
-rw-r--r-- | test/regress/regress0/arith/Makefile.am | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/test/regress/regress0/arith/Makefile.am b/test/regress/regress0/arith/Makefile.am index 4df0543f5..1510b15ad 100644 --- a/test/regress/regress0/arith/Makefile.am +++ b/test/regress/regress0/arith/Makefile.am @@ -23,7 +23,6 @@ TESTS = \ delta-minimized-row-vector-bug.smt \ fuzz_3-eq.smt \ leq.01.smt \ - miplibtrick.smt \ DTP_k2_n35_c175_s15.smt2 \ mod.01.smt2 \ mod.02.smt2 \ @@ -39,7 +38,14 @@ TESTS = \ div.09.smt2 \ mult.01.smt2 \ mult.02.smt2 \ - bug443.delta01.smt + bug443.delta01.smt \ + miplib.cvc \ + miplib2.cvc \ + miplibtrick.smt \ + miplib-opt1217--27.smt \ + miplib-opt1217--27.smt2 \ + miplib-pp08a-3000.smt \ + miplib-pp08a-3000.smt2 # problem__003.smt2 EXTRA_DIST = $(TESTS) |