From 588468e4800d790aecd35725c123d21f3e7a86ae Mon Sep 17 00:00:00 2001
From: Tim King <taking@cs.nyu.edu>
Date: Thu, 9 May 2013 14:33:35 -0400
Subject: Changing the integer normal form to increase matching.

---
 test/regress/regress0/arith/integers/Makefile.am | 11 ++++++-----
 1 file changed, 6 insertions(+), 5 deletions(-)

(limited to 'test/regress/regress0/arith/integers/Makefile.am')

diff --git a/test/regress/regress0/arith/integers/Makefile.am b/test/regress/regress0/arith/integers/Makefile.am
index efd5aa909..c555ba413 100644
--- a/test/regress/regress0/arith/integers/Makefile.am
+++ b/test/regress/regress0/arith/integers/Makefile.am
@@ -20,9 +20,9 @@ MAKEFLAGS = -k
 
 TESTS =	\
 	arith-int-004.cvc \
-	arith-int-007.cvc \
 	arith-int-011.cvc \
 	arith-int-012.cvc \
+	arith-int-013.cvc \
 	arith-int-022.cvc \
 	arith-int-024.cvc \
 	arith-int-042.cvc \
@@ -34,7 +34,7 @@ TESTS =	\
 	arith-int-097.cvc \
 	arith-int-085.cvc
 
-EXTRA_DIST = $(TESTS)
+EXTRA_DIST = $(TESTS) \
 	arith-int-001.cvc \
 	arith-int-002.cvc \
 	arith-int-003.cvc \
@@ -105,7 +105,6 @@ EXTRA_DIST = $(TESTS)
 	arith-int-079.cvc \
 	arith-int-080.cvc \
 	arith-int-081.cvc \
-	arith-int-082.cvc \
 	arith-int-083.cvc \
 	arith-int-086.cvc \
 	arith-int-087.cvc \
@@ -122,9 +121,11 @@ EXTRA_DIST = $(TESTS)
 	arith-int-099.cvc \
 	arith-int-100.cvc
 
+
 FAILING_TESTS = \
-	arith-int-024.cvc \
-	arith-int-013.cvc
+	arith-int-007.cvc \
+	arith-int-082.cvc \
+	arith-int-098.cvc
 
 #if CVC4_BUILD_PROFILE_COMPETITION
 #else
-- 
cgit v1.2.3