From e8598e2420e2ee2c75abfb6629818299c7ab40f6 Mon Sep 17 00:00:00 2001
From: ajreynol <andrew.j.reynolds@gmail.com>
Date: Wed, 10 Aug 2016 17:36:45 -0500
Subject: Improvements to strings: work on propagations for reverse normal form
 processing. Better handling of disequalities, constant splitting and neg
 contain approximation. Introduce proxy vars for replace. Refactoring.

---
 test/regress/regress0/strings/Makefile.am | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'test/regress')

diff --git a/test/regress/regress0/strings/Makefile.am b/test/regress/regress0/strings/Makefile.am
index 9d7e9e13e..b305b69c6 100644
--- a/test/regress/regress0/strings/Makefile.am
+++ b/test/regress/regress0/strings/Makefile.am
@@ -67,7 +67,6 @@ TESTS = \
   bug612.smt2 \
   bug615.smt2 \
   kaluza-fl.smt2 \
-  norn-ab.smt2 \
   idof-rewrites.smt2 \
   bug682.smt2 \
   bug686dd.smt2 \
@@ -94,6 +93,7 @@ EXTRA_DIST = $(TESTS)
 EXTRA_DIST +=
 
 #norn-dis-0707-3.smt2
+#norn-ab.smt2
 
 # synonyms for "check"
 .PHONY: regress regress0 test
-- 
cgit v1.2.3