diff options
Diffstat (limited to 'test/regress/regress0/Makefile.am')
| -rw-r--r-- | test/regress/regress0/Makefile.am | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/test/regress/regress0/Makefile.am b/test/regress/regress0/Makefile.am index 879fd9fc8..09d214c35 100644 --- a/test/regress/regress0/Makefile.am +++ b/test/regress/regress0/Makefile.am @@ -1,4 +1,4 @@ -SUBDIRS = . expect arith precedence uf uflra uflia bv arrays aufbv auflia datatypes quantifiers rewriterules lemmas push-pop preprocess tptp unconstrained decision fmf strings sets rels parser sygus sep nl +SUBDIRS = . expect arith precedence uf uflra uflia bv arrays aufbv auflia datatypes quantifiers rewriterules lemmas push-pop preprocess tptp unconstrained decision fmf strings sets rels parser sygus sep nl ho DIST_SUBDIRS = $(SUBDIRS) # don't override a BINARY imported from a personal.mk @@ -74,7 +74,8 @@ SMT2_TESTS = \ issue1063-overloading-dt-sel.smt2 \ issue1063-overloading-dt-fun.smt2 \ non-fatal-errors.smt2 \ - sqrt2-sort-inf-unk.smt2 + sqrt2-sort-inf-unk.smt2 \ + rec-fun-const-parse-bug.smt2 # Regression tests for PL inputs |