diff options
| author | Tianyi Liang <tianyi-liang@uiowa.edu> | 2013-09-30 23:29:57 -0500 |
|---|---|---|
| committer | Tianyi Liang <tianyi-liang@uiowa.edu> | 2013-09-30 23:29:57 -0500 |
| commit | a747f01c1ee737bb8c4c1cc8ce355b79078d03d7 (patch) | |
| tree | 49351b3e775cde995808de15d106f415770a9d12 /test/regress/regress0/strings/Makefile.am | |
| parent | cf4dd7abde3554156ff26684e189c1de40f51b9b (diff) | |
replace with a new method for disequality, move to QF_S
Diffstat (limited to 'test/regress/regress0/strings/Makefile.am')
| -rw-r--r-- | test/regress/regress0/strings/Makefile.am | 9 |
1 files changed, 4 insertions, 5 deletions
diff --git a/test/regress/regress0/strings/Makefile.am b/test/regress/regress0/strings/Makefile.am index a1ae66a5f..90872cf4d 100644 --- a/test/regress/regress0/strings/Makefile.am +++ b/test/regress/regress0/strings/Makefile.am @@ -27,14 +27,13 @@ TESTS = \ str005.smt2 \ model001.smt2 \ loop001.smt2 \ + loop002.smt2 \ loop003.smt2 \ + loop004.smt2 \ + loop005.smt2 \ + loop006.smt2 \ loop007.smt2 -# loop002.smt2 -# loop004.smt2 -# loop005.smt2 -# loop006.smt2 - FAILING_TESTS = EXTRA_DIST = $(TESTS) |