diff options
author | Tianyi Liang <tianyi-liang@uiowa.edu> | 2015-04-17 14:41:24 -0500 |
---|---|---|
committer | Tianyi Liang <tianyi-liang@uiowa.edu> | 2015-04-17 14:41:24 -0500 |
commit | 4d359ce4470c44c3e7532edb6b60bcb61b51f862 (patch) | |
tree | 7483df423305f9d487a9e106e9b26da6a1448ef3 /test/regress/regress0/strings | |
parent | d60c406206e9ac414cde2c219a748d51a64d000b (diff) |
Patch for Kshitij's fix on requriePhase
Diffstat (limited to 'test/regress/regress0/strings')
-rw-r--r-- | test/regress/regress0/strings/Makefile.am | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/test/regress/regress0/strings/Makefile.am b/test/regress/regress0/strings/Makefile.am index 420361af3..d521680d5 100644 --- a/test/regress/regress0/strings/Makefile.am +++ b/test/regress/regress0/strings/Makefile.am @@ -33,6 +33,7 @@ TESTS = \ str007.smt2 \ fmf002.smt2 \ type001.smt2 \ + type003.smt2 \ model001.smt2 \ substr001.smt2 \ regexp001.smt2 \ @@ -45,6 +46,7 @@ TESTS = \ loop004.smt2 \ loop005.smt2 \ loop006.smt2 \ + loop007.smt2 \ loop008.smt2 \ loop009.smt2 \ reloop.smt2 @@ -55,8 +57,6 @@ FAILING_TESTS = EXTRA_DIST = $(TESTS) \ artemis-0512-nonterm.smt2 \ fmf001.smt2 \ - type003.smt2 \ - loop007.smt2 \ type002.smt2 # slow after changes on Nov 20 : artemis-0512-nonterm.smt2 |