[PPL-devel] [GIT] ppl/ppl(master): Reduced DIMENSION to 100.

[Roberto Bagnara]

Module: ppl/ppl
Branch: master
Commit: afbc4e301440f3925d22aaf49bf12313c3d24605
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=afbc4e301440f3925d22aaf49bf12313c3d24605

Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Tue Mar 24 20:39:18 2009 +0100

Reduced DIMENSION to 100.

---

 interfaces/C/tests/formatted_output.c |    3 +--
 1 files changed, 1 insertions(+), 2 deletions(-)

diff --git a/interfaces/C/tests/formatted_output.c b/interfaces/C/tests/formatted_output.c
index 2717c6a..608e25a 100644
--- a/interfaces/C/tests/formatted_output.c
+++ b/interfaces/C/tests/formatted_output.c
@@ -25,7 +25,7 @@ site: http://www.cs.unipr.it/ppl/ . */
 #include "print_to_buffer.h"
 #include <stdio.h>
 
-#define DIMENSION 1000
+#define DIMENSION 100
 
 int
 main() {
@@ -42,7 +42,6 @@ main() {
   ppl_assign_Coefficient_from_mpz_t(coeff, z);
   ppl_new_Constraint_System(&cs);
   for (i = 0; i < DIMENSION; ++i) {
-    printf("%d\n", i);
     ppl_new_Linear_Expression_with_dimension(&le, DIMENSION);
     ppl_Linear_Expression_add_to_coefficient(le, i, coeff);
     ppl_new_Constraint(&c, le, PPL_CONSTRAINT_TYPE_GREATER_OR_EQUAL);