diff options
Diffstat (limited to 'test/regress/regress1/sep/Makefile.am')
| -rw-r--r-- | test/regress/regress1/sep/Makefile.am | 29 |
1 files changed, 28 insertions, 1 deletions
diff --git a/test/regress/regress1/sep/Makefile.am b/test/regress/regress1/sep/Makefile.am index 3bf63ff1a..bda7e4484 100644 --- a/test/regress/regress1/sep/Makefile.am +++ b/test/regress/regress1/sep/Makefile.am @@ -20,7 +20,34 @@ TESTS = \ loop-1220.smt2 \ sep-simp-unc.smt2 \ split-find-unsat.smt2 \ - split-find-unsat-w-emp.smt2 + split-find-unsat-w-emp.smt2 \ + dispose-list-4-init.smt2 \ + finite-witness-sat.smt2 \ + sep-find2.smt2 \ + sep-fmf-priority.smt2 \ + sep-neg-1refine.smt2 \ + sep-nterm-again.smt2 \ + chain-int.smt2 \ + crash1220.smt2 \ + emp2-quant-unsat.smt2 \ + fmf-nemp-2.smt2 \ + pto-04.smt2 \ + quant_wand.smt2 \ + sep-02.smt2 \ + sep-03.smt2 \ + sep-neg-nstrict.smt2 \ + sep-neg-nstrict2.smt2 \ + sep-neg-simple.smt2 \ + sep-neg-swap.smt2 \ + sep-nterm-val-model.smt2 \ + simple-neg-sat.smt2 \ + wand-0526-sat.smt2 \ + wand-false.smt2 \ + wand-nterm-simp.smt2 \ + wand-nterm-simp2.smt2 \ + wand-simp-sat.smt2 \ + wand-simp-sat2.smt2 \ + wand-simp-unsat.smt2 EXTRA_DIST = $(TESTS) |