diff options
Diffstat (limited to 'test/regress/regress0/quantifiers/Makefile.am')
-rw-r--r-- | test/regress/regress0/quantifiers/Makefile.am | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/test/regress/regress0/quantifiers/Makefile.am b/test/regress/regress0/quantifiers/Makefile.am index 7e8e1ea99..41f66f92f 100644 --- a/test/regress/regress0/quantifiers/Makefile.am +++ b/test/regress/regress0/quantifiers/Makefile.am @@ -43,7 +43,8 @@ TESTS = \ javafe.ast.StmtVec.009.smt2 \ ARI176e1.smt2 \ bi-artm-s.smt2 \ - simp-typ-test.smt2 + simp-typ-test.smt2 \ + macros-int-real.smt2 # regression can be solved with --finite-model-find --fmf-inst-engine # set3.smt2 |