Module: ppl/ppl Branch: master Commit: afbc4e301440f3925d22aaf49bf12313c3d24605 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=afbc4e301440f...
Author: Roberto Bagnara bagnara@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);