From 0647474e9b8ab6b147551e52cb7d497a80b37a13 Mon Sep 17 00:00:00 2001 From: =?utf8?q?Dejan=20Jovanovi=C4=87?= Date: Tue, 7 Feb 2012 16:20:52 +0000 Subject: [PATCH] removing the 100 integer benchmarks from regress0, too many --- .../regress0/arith/integers/Makefile.am | 37 ++++++++++--------- 1 file changed, 19 insertions(+), 18 deletions(-) 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 -- 2.30.2