diff options
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) |