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/sep/Makefile.am | |
parent | 52a39aca19b7238d08c3cebcfa46436a73194008 (diff) |
Refactor regressions (#1581)
Diffstat (limited to 'test/regress/regress0/sep/Makefile.am')
-rw-r--r-- | test/regress/regress0/sep/Makefile.am | 27 |
1 files changed, 0 insertions, 27 deletions
diff --git a/test/regress/regress0/sep/Makefile.am b/test/regress/regress0/sep/Makefile.am index 692390dde..9b6c44fa5 100644 --- a/test/regress/regress0/sep/Makefile.am +++ b/test/regress/regress0/sep/Makefile.am @@ -21,42 +21,15 @@ MAKEFLAGS = -k TESTS = \ pto-01.smt2 \ pto-02.smt2 \ - pto-04.smt2 \ sep-01.smt2 \ - sep-02.smt2 \ - sep-03.smt2 \ - sep-find2.smt2 \ - sep-neg-nstrict.smt2 \ sep-plus1.smt2 \ - sep-nterm-val-model.smt2 \ - crash1220.smt2 \ nspatial-simp.smt2 \ - sep-neg-1refine.smt2 \ - sep-neg-simple.smt2 \ sep-simp-unsat-emp.smt2 \ - simple-neg-sat.smt2 \ - wand-simp-sat.smt2 \ - wand-simp-sat2.smt2 \ - wand-simp-unsat.smt2 \ - sep-nterm-again.smt2 \ nemp.smt2 \ wand-crash.smt2 \ - wand-nterm-simp.smt2 \ - wand-nterm-simp2.smt2 \ - chain-int.smt2 \ - sep-neg-swap.smt2 \ - sep-neg-nstrict2.smt2 \ - dispose-list-4-init.smt2 \ - wand-0526-sat.smt2 \ - quant_wand.smt2 \ - fmf-nemp-2.smt2 \ trees-1.smt2 \ - wand-false.smt2 \ dup-nemp.smt2 \ - emp2-quant-unsat.smt2 \ dispose-1.smt2 \ - finite-witness-sat.smt2 \ - sep-fmf-priority.smt2 \ nil-no-elim.smt2 |