diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2018-02-15 15:31:48 -0600 |
|---|---|---|
| committer | Aina Niemetz <aina.niemetz@gmail.com> | 2018-02-15 13:31:48 -0800 |
| commit | 55037e0bcef45c795f28ff3fcf6c1055af465c70 (patch) | |
| tree | 397d89bd10e541e1206c5dafdb8cf731feb34730 /test/regress/regress0/arith/Makefile.am | |
| parent | 52a39aca19b7238d08c3cebcfa46436a73194008 (diff) | |
Refactor regressions (#1581)
Diffstat (limited to 'test/regress/regress0/arith/Makefile.am')
| -rw-r--r-- | test/regress/regress0/arith/Makefile.am | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/test/regress/regress0/arith/Makefile.am b/test/regress/regress0/arith/Makefile.am index 98179df8c..8a12d7d13 100644 --- a/test/regress/regress0/arith/Makefile.am +++ b/test/regress/regress0/arith/Makefile.am @@ -28,38 +28,24 @@ TESTS = \ fuzz_3-eq.smt \ leq.01.smt \ mod.01.smt2 \ - mod.02.smt2 \ - mod.03.smt2 \ div.01.smt2 \ div.02.smt2 \ - div.03.smt2 \ div.04.smt2 \ div.05.smt2 \ - div.06.smt2 \ div.07.smt2 \ - div.08.smt2 \ mult.01.smt2 \ - mult.02.smt2 \ bug443.delta01.smt \ miplib.cvc \ miplib2.cvc \ - miplib3.cvc \ miplib4.cvc \ miplibtrick.smt \ - bug547.1.smt2 \ bug547.2.smt2 \ bug569.smt2 \ - div.09.smt2 \ - bug716.0.smt2 \ - bug716.1.cvc \ mod-simp.smt2 -# problem__003.smt2 EXTRA_DIST = $(TESTS) \ miplib-opt1217--27.smt \ - miplib-opt1217--27.smt2 \ miplib-pp08a-3000.smt \ - miplib-pp08a-3000.smt2 \ miplib-opt1217--27.smt.expect \ miplib-pp08a-3000.smt.expect |