From: Dejan Jovanović <dejan.jovanovic@gmail.com>
Date: Tue, 7 Feb 2012 16:20:52 +0000 (+0000)
Subject: removing the 100 integer benchmarks from regress0, too many
X-Git-Tag: cvc5-1.0.0~8342
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=0647474e9b8ab6b147551e52cb7d497a80b37a13;p=cvc5.git

removing the 100 integer benchmarks from regress0, too many
---

diff --git a/test/regress/regress0/arith/integers/Makefile.am b/test/regress/regress0/arith/integers/Makefile.am
index 91f4cf758..f6d200f2a 100644
--- a/test/regress/regress0/arith/integers/Makefile.am
+++ b/test/regress/regress0/arith/integers/Makefile.am
@@ -28,8 +28,24 @@ TESTS =	\
 	arith-int-016.cvc \
 	arith-int-017.cvc \
 	arith-int-018.cvc \
-	arith-int-019.cvc \
-	arith-int-020.cvc \
+	arith-int-019.cvc 
+
+EXTRA_DIST = $(TESTS) \
+	arith-int-012.cvc \
+	arith-int-013.cvc \
+	arith-int-022.cvc \
+	arith-int-024.cvc \
+	arith-int-041.cvc \
+	arith-int-042.cvc \
+	arith-int-042.min.cvc \
+	arith-int-047.cvc \
+	arith-int-048.cvc \
+	arith-int-050.cvc \
+	arith-int-082.cvc \
+	arith-int-084.cvc \
+	arith-int-085.cvc \
+	arith-int-097.cvc \
+		arith-int-020.cvc \
 	arith-int-021.cvc \
 	arith-int-023.cvc \
 	arith-int-025.cvc \
@@ -99,22 +115,7 @@ TESTS =	\
 	arith-int-098.cvc \
 	arith-int-099.cvc \
 	arith-int-100.cvc
-
-EXTRA_DIST = $(TESTS) \
-	arith-int-012.cvc \
-	arith-int-013.cvc \
-	arith-int-022.cvc \
-	arith-int-024.cvc \
-	arith-int-041.cvc \
-	arith-int-042.cvc \
-	arith-int-042.min.cvc \
-	arith-int-047.cvc \
-	arith-int-048.cvc \
-	arith-int-050.cvc \
-	arith-int-082.cvc \
-	arith-int-084.cvc \
-	arith-int-085.cvc \
-	arith-int-097.cvc
+	
 
 #if CVC4_BUILD_PROFILE_COMPETITION
 #else