diff options
author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2017-11-25 14:12:00 -0600 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-11-25 14:12:00 -0600 |
commit | f3270fb3629cbc62012ae7eb30843a1bc6d4e3c2 (patch) | |
tree | 1b0ee90651913c1f59513ecf8c3703f20c3d2827 /test/regress/regress0 | |
parent | 3ab0db55341e7e752411bb003fb203fcd9ec9120 (diff) |
Fixes for higher-order (#1405)
Diffstat (limited to 'test/regress/regress0')
-rw-r--r-- | test/regress/regress0/ho/Makefile.am | 16 |
1 files changed, 7 insertions, 9 deletions
diff --git a/test/regress/regress0/ho/Makefile.am b/test/regress/regress0/ho/Makefile.am index b6c494d29..4a7ceb96f 100644 --- a/test/regress/regress0/ho/Makefile.am +++ b/test/regress/regress0/ho/Makefile.am @@ -37,18 +37,16 @@ TESTS = \ ho-std-fmf.smt2 \ fta0409.smt2 \ auth0068.smt2 \ - modulo-func-equality.smt2 - + modulo-func-equality.smt2 \ + ho-matching-enum.smt2 \ + ho-matching-enum-2.smt2 \ + ho-matching-nested-app.smt2 \ + simple-matching.smt2 \ + simple-matching-partial.smt2 + EXTRA_DIST = $(TESTS) -# need PR 1204 : - # hoa0102.smt2 -# ho-matching-enum.smt2 -# ho-matching-enum-2.smt2 -# ho-matching-nested-app.smt2 -# simple-matching.smt2 -# simple-matching-partial.smt2 #if CVC4_BUILD_PROFILE_COMPETITION |