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