diff options
Diffstat (limited to 'test/regress/regress0/fmf/Makefile.am')
-rw-r--r-- | test/regress/regress0/fmf/Makefile.am | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/test/regress/regress0/fmf/Makefile.am b/test/regress/regress0/fmf/Makefile.am index af8776ace..79cff2947 100644 --- a/test/regress/regress0/fmf/Makefile.am +++ b/test/regress/regress0/fmf/Makefile.am @@ -65,7 +65,9 @@ TESTS = \ memory_model-R_cpp-dd.cvc \ bug764.smt2 \ ko-bound-set.cvc \ - cons-sets-bounds.smt2 + cons-sets-bounds.smt2 \ + bug651.smt2 \ + bug652.smt2 EXTRA_DIST = $(TESTS) |