diff options
| author | PaulMeng <baolmeng@gmail.com> | 2016-04-20 14:43:18 -0500 |
|---|---|---|
| committer | PaulMeng <baolmeng@gmail.com> | 2016-04-20 14:43:18 -0500 |
| commit | 904ffb6e73402bae537aa89e7fd8f0ab2e9d60e2 (patch) | |
| tree | d96bb0c974bdea6170957d3e39d47a98f5c85ca0 /test/regress/regress0/fmf/Makefile.am | |
| parent | a0054e9cc78822416d745e955c30f69cbb2a3aa7 (diff) | |
update from the master
Diffstat (limited to 'test/regress/regress0/fmf/Makefile.am')
| -rw-r--r-- | test/regress/regress0/fmf/Makefile.am | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/test/regress/regress0/fmf/Makefile.am b/test/regress/regress0/fmf/Makefile.am index 8cff980a5..575aa4159 100644 --- a/test/regress/regress0/fmf/Makefile.am +++ b/test/regress/regress0/fmf/Makefile.am @@ -50,8 +50,12 @@ TESTS = \ loopy_coda.smt2 \ fmc_unsound_model.smt2 \ am-bad-model.cvc \ - nun-0208-to.smt2 - + nun-0208-to.smt2 \ + datatypes-ufinite.smt2 \ + datatypes-ufinite-nested.smt2 \ + ForElimination-scala-9.smt2 \ + agree466.smt2 \ + LeftistHeap.scala-8-ncm.smt2 EXTRA_DIST = $(TESTS) @@ -66,7 +70,6 @@ EXTRA_DIST = $(TESTS) #EXTRA_DIST += \ # error.cvc -# agree466.smt2 timeout after commit on 1/14 due to Array+FMF model construction # synonyms for "check" in this directory .PHONY: regress regress0 test |