diff options
Diffstat (limited to 'test/regress/regress1/rewriterules/Makefile.am')
| -rw-r--r-- | test/regress/regress1/rewriterules/Makefile.am | 28 |
1 files changed, 25 insertions, 3 deletions
diff --git a/test/regress/regress1/rewriterules/Makefile.am b/test/regress/regress1/rewriterules/Makefile.am index a5a045d2e..fbf3db47a 100644 --- a/test/regress/regress1/rewriterules/Makefile.am +++ b/test/regress/regress1/rewriterules/Makefile.am @@ -23,9 +23,31 @@ MAKEFLAGS = -k # put it below in "TESTS +=" TESTS = \ reachability_back_to_the_future.smt2 \ - read5.smt2 - -EXTRA_DIST = $(TESTS) + read5.smt2 \ + length_gen.smt2 \ + length_gen_020.smt2 \ + length_gen_020_sat.smt2 \ + length_gen_040.smt2 \ + length_gen_040_lemma.smt2 \ + length_gen_040_lemma_trigger.smt2 \ + datatypes_sat.smt2 + + +EXTRA_DIST = $(TESTS) \ + datatypes_clark_quantification.smt2 \ + datatypes2.smt2 \ + datatypes3.smt2 \ + length_gen_010_lemma.smt2 \ + length_gen_010.smt2 \ + length_gen_080.smt2 \ + length_gen_160_lemma.smt2 \ + length_gen_inv_160.smt2 \ + length_trick3_int.smt2 \ + length_trick3.smt2 \ + set_A_new_fast_tableau-base_sat.smt2 \ + set_A_new_fast_tableau-base.smt2 \ + test_guards.smt2 \ + why3_vstte10_max_sum_harness2.smt2 # synonyms for "check" in this directory .PHONY: regress regress1 test |