diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2018-04-09 20:09:51 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-04-09 20:09:51 -0500 |
| commit | fc9e113c5f9ea99a1308d0f36b1aad778747870c (patch) | |
| tree | 1bc632ebe9d2c28a6ffaac4dc90d7b5203647624 /test/regress/Makefile.tests | |
| parent | 51824dbdc2a8c19cbae7c76826732ae2f319111d (diff) | |
Fix higher-order term indexing. (#1754)
Diffstat (limited to 'test/regress/Makefile.tests')
| -rw-r--r-- | test/regress/Makefile.tests | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/test/regress/Makefile.tests b/test/regress/Makefile.tests index c5b38dcd8..8f5b9bf4f 100644 --- a/test/regress/Makefile.tests +++ b/test/regress/Makefile.tests @@ -1078,10 +1078,12 @@ REG1_TESTS = \ regress1/fmf/with-ind-104-core.smt2 \ regress1/gensys_brn001.smt2 \ regress1/ho/auth0068.smt2 \ + regress1/ho/fta0210.smt2 \ regress1/ho/fta0409.smt2 \ regress1/ho/ho-exponential-model.smt2 \ regress1/ho/ho-matching-enum-2.smt2 \ regress1/ho/ho-std-fmf.smt2 \ + regress1/ho/match-middle.smt2 \ regress1/hole6.cvc \ regress1/ite5.smt2 \ regress1/lemmas/clocksynchro_5clocks.main_invar.base.smt \ |