[GIT] ppl/ppl(master): Reduce the argument of valgrind' s --num-callers below the allowed maximum.

14 Feb 2011

Module: ppl/ppl
Branch: master
Commit: 8a7cd78d39715462e9b036b52ae9815a1ae06146
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8a7cd78d39715...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Mon Feb 14 10:55:23 2011 +0100
Reduce the argument of valgrind's --num-callers below the allowed maximum.
---
Watchdog/tests/Makefile.am                  |    2 +-
 demos/ppl_pips/Makefile.am                  |    2 +-
 interfaces/C/tests/Makefile.am              |   12 +++++++++++-
 interfaces/OCaml/tests/Makefile.am          |    2 +-
 interfaces/Prolog/SWI/Makefile.am           |    2 +-
 tests/Ask_Tell/Makefile.am                  |    2 +-
 tests/BD_Shape/Makefile.am                  |    2 +-
 tests/Box/Makefile.am                       |    2 +-
 tests/CO_Tree/Makefile.am                   |    2 +-
 tests/Grid/Makefile.am                      |    2 +-
 tests/MIP_Problem/Makefile.am               |    2 +-
 tests/Octagonal_Shape/Makefile.am           |    2 +-
 tests/PIP_Problem/Makefile.am               |    2 +-
 tests/Partially_Reduced_Product/Makefile.am |    2 +-
 tests/Polyhedron/Makefile.am                |    2 +-
 tests/Powerset/Makefile.am                  |    2 +-
 tests/Sparse_Matrix/Makefile.am             |    2 +-
 17 files changed, 27 insertions(+), 17 deletions(-)

diff --git a/Watchdog/tests/Makefile.am b/Watchdog/tests/Makefile.am
index 7965de3..3bbdd2b 100644
--- a/Watchdog/tests/Makefile.am
+++ b/Watchdog/tests/Makefile.am
@@ -25,7 +25,7 @@ if VALGRIND_TESTS_ENABLED
CHECKER = \
 $(VALGRIND) --tool=memcheck -q --trace-children=yes --leak-check=yes \
---num-callers=100 --leak-resolution=high \
+--num-callers=40 --leak-resolution=high \
 --suppressions=$(srcdir)/valgrind_suppressions
else !VALGRIND_TESTS_ENABLED
diff --git a/demos/ppl_pips/Makefile.am b/demos/ppl_pips/Makefile.am
index 4e3fa6f..57be020 100644
--- a/demos/ppl_pips/Makefile.am
+++ b/demos/ppl_pips/Makefile.am
@@ -27,7 +27,7 @@ if VALGRIND_TESTS_ENABLED
CHECKER = \
 $(VALGRIND) --tool=memcheck -q --trace-children=yes --leak-check=yes \
---num-callers=100 --leak-resolution=high \
+--num-callers=40 --leak-resolution=high \
 --suppressions=$(top_srcdir)/tests/valgrind_suppressions
else !VALGRIND_TESTS_ENABLED
diff --git a/interfaces/C/tests/Makefile.am b/interfaces/C/tests/Makefile.am
index e77cc3e..323383f 100644
--- a/interfaces/C/tests/Makefile.am
+++ b/interfaces/C/tests/Makefile.am
@@ -21,8 +21,18 @@
 # For the most up-to-date information see the Parma Polyhedra Library
 # site: http://www.cs.unipr.it/ppl/ .
+if VALGRIND_TESTS_ENABLED
+
+CHECKER = \
+$(VALGRIND) --tool=memcheck -q --trace-children=yes --leak-check=yes \
+--num-callers=40 --leak-resolution=high \
+--suppressions=$(top_srcdir)/tests/valgrind_suppressions
+
+else !VALGRIND_TESTS_ENABLED
+
 CHECKER =
-#CHECKER = valgrind --tool=memcheck -q --trace-children=yes --leak-check=yes --num-callers=100 --leak-resolution=high --suppressions=$(top_srcdir)/tests/valgrind_suppressions
+
+endif !VALGRIND_TESTS_ENABLED
TESTS_ENVIRONMENT = $(CHECKER)
diff --git a/interfaces/OCaml/tests/Makefile.am b/interfaces/OCaml/tests/Makefile.am
index 2f35c98..d8c8d54 100644
--- a/interfaces/OCaml/tests/Makefile.am
+++ b/interfaces/OCaml/tests/Makefile.am
@@ -25,7 +25,7 @@ if VALGRIND_TESTS_ENABLED
CHECKER = \
 $(VALGRIND) --tool=memcheck -q --trace-children=yes --leak-check=yes \
---num-callers=100 --leak-resolution=high \
+--num-callers=40 --leak-resolution=high \
 --suppressions=$(srcdir)/valgrind_suppressions
else !VALGRIND_TESTS_ENABLED
diff --git a/interfaces/Prolog/SWI/Makefile.am b/interfaces/Prolog/SWI/Makefile.am
index 5565918..078fac0 100644
--- a/interfaces/Prolog/SWI/Makefile.am
+++ b/interfaces/Prolog/SWI/Makefile.am
@@ -25,7 +25,7 @@ if VALGRIND_TESTS_ENABLED
CHECKER = \
 $(VALGRIND) --tool=memcheck -q --trace-children=yes --leak-check=yes \
---num-callers=100 --leak-resolution=high \
+--num-callers=40 --leak-resolution=high \
 --suppressions=$(top_srcdir)/tests/valgrind_suppressions
else !VALGRIND_TESTS_ENABLED
diff --git a/tests/Ask_Tell/Makefile.am b/tests/Ask_Tell/Makefile.am
index 7b9620d..3cd30ea 100644
--- a/tests/Ask_Tell/Makefile.am
+++ b/tests/Ask_Tell/Makefile.am
@@ -25,7 +25,7 @@ if VALGRIND_TESTS_ENABLED
CHECKER = \
 $(VALGRIND) --tool=memcheck -q --trace-children=yes --leak-check=yes \
---num-callers=100 --leak-resolution=high \
+--num-callers=40 --leak-resolution=high \
 --suppressions=$(top_srcdir)/tests/valgrind_suppressions
else !VALGRIND_TESTS_ENABLED
diff --git a/tests/BD_Shape/Makefile.am b/tests/BD_Shape/Makefile.am
index 5202917..732d0e2 100644
--- a/tests/BD_Shape/Makefile.am
+++ b/tests/BD_Shape/Makefile.am
@@ -25,7 +25,7 @@ if VALGRIND_TESTS_ENABLED
CHECKER = \
 $(VALGRIND) --tool=memcheck -q --trace-children=yes --leak-check=yes \
---num-callers=100 --leak-resolution=high \
+--num-callers=40 --leak-resolution=high \
 --suppressions=$(top_srcdir)/tests/valgrind_suppressions
else !VALGRIND_TESTS_ENABLED
diff --git a/tests/Box/Makefile.am b/tests/Box/Makefile.am
index 927fe71..8688993 100644
--- a/tests/Box/Makefile.am
+++ b/tests/Box/Makefile.am
@@ -25,7 +25,7 @@ if VALGRIND_TESTS_ENABLED
CHECKER = \
 $(VALGRIND) --tool=memcheck -q --trace-children=yes --leak-check=yes \
---num-callers=100 --leak-resolution=high \
+--num-callers=40 --leak-resolution=high \
 --suppressions=$(top_srcdir)/tests/valgrind_suppressions
else !VALGRIND_TESTS_ENABLED
diff --git a/tests/CO_Tree/Makefile.am b/tests/CO_Tree/Makefile.am
index a58f0e3..904af1d 100644
--- a/tests/CO_Tree/Makefile.am
+++ b/tests/CO_Tree/Makefile.am
@@ -25,7 +25,7 @@ if VALGRIND_TESTS_ENABLED
CHECKER = \
 $(VALGRIND) --tool=memcheck -q --trace-children=yes --leak-check=yes \
---num-callers=100 --leak-resolution=high \
+--num-callers=40 --leak-resolution=high \
 --suppressions=$(top_srcdir)/tests/valgrind_suppressions
else !VALGRIND_TESTS_ENABLED
diff --git a/tests/Grid/Makefile.am b/tests/Grid/Makefile.am
index 8d11ff3..581ad16 100644
--- a/tests/Grid/Makefile.am
+++ b/tests/Grid/Makefile.am
@@ -26,7 +26,7 @@ if VALGRIND_TESTS_ENABLED
CHECKER = \
 $(VALGRIND) --tool=memcheck -q --trace-children=yes --leak-check=yes \
---num-callers=100 --leak-resolution=high \
+--num-callers=40 --leak-resolution=high \
 --suppressions=$(top_srcdir)/tests/valgrind_suppressions
else !VALGRIND_TESTS_ENABLED
diff --git a/tests/MIP_Problem/Makefile.am b/tests/MIP_Problem/Makefile.am
index 22f2a42..4c2b82e 100644
--- a/tests/MIP_Problem/Makefile.am
+++ b/tests/MIP_Problem/Makefile.am
@@ -25,7 +25,7 @@ if VALGRIND_TESTS_ENABLED
CHECKER = \
 $(VALGRIND) --tool=memcheck -q --trace-children=yes --leak-check=yes \
---num-callers=100 --leak-resolution=high \
+--num-callers=40 --leak-resolution=high \
 --suppressions=$(top_srcdir)/tests/valgrind_suppressions
else !VALGRIND_TESTS_ENABLED
diff --git a/tests/Octagonal_Shape/Makefile.am b/tests/Octagonal_Shape/Makefile.am
index a428fb3..f1b4b06 100644
--- a/tests/Octagonal_Shape/Makefile.am
+++ b/tests/Octagonal_Shape/Makefile.am
@@ -25,7 +25,7 @@ if VALGRIND_TESTS_ENABLED
CHECKER = \
 $(VALGRIND) --tool=memcheck -q --trace-children=yes --leak-check=yes \
---num-callers=100 --leak-resolution=high \
+--num-callers=40 --leak-resolution=high \
 --suppressions=$(top_srcdir)/tests/valgrind_suppressions
else !VALGRIND_TESTS_ENABLED
diff --git a/tests/PIP_Problem/Makefile.am b/tests/PIP_Problem/Makefile.am
index bf9e9bb..d2cba6e 100644
--- a/tests/PIP_Problem/Makefile.am
+++ b/tests/PIP_Problem/Makefile.am
@@ -25,7 +25,7 @@ if VALGRIND_TESTS_ENABLED
CHECKER = \
 $(VALGRIND) --tool=memcheck -q --trace-children=yes --leak-check=yes \
---num-callers=100 --leak-resolution=high \
+--num-callers=40 --leak-resolution=high \
 --suppressions=$(top_srcdir)/tests/valgrind_suppressions
else !VALGRIND_TESTS_ENABLED
diff --git a/tests/Partially_Reduced_Product/Makefile.am b/tests/Partially_Reduced_Product/Makefile.am
index a4901a2..a4f58f5 100644
--- a/tests/Partially_Reduced_Product/Makefile.am
+++ b/tests/Partially_Reduced_Product/Makefile.am
@@ -26,7 +26,7 @@ if VALGRIND_TESTS_ENABLED
CHECKER = \
 $(VALGRIND) --tool=memcheck -q --trace-children=yes --leak-check=yes \
---num-callers=100 --leak-resolution=high \
+--num-callers=40 --leak-resolution=high \
 --suppressions=$(top_srcdir)/tests/valgrind_suppressions
else !VALGRIND_TESTS_ENABLED
diff --git a/tests/Polyhedron/Makefile.am b/tests/Polyhedron/Makefile.am
index dc0065e..a621ef7 100644
--- a/tests/Polyhedron/Makefile.am
+++ b/tests/Polyhedron/Makefile.am
@@ -25,7 +25,7 @@ if VALGRIND_TESTS_ENABLED
CHECKER = \
 $(VALGRIND) --tool=memcheck -q --trace-children=yes --leak-check=yes \
---num-callers=100 --leak-resolution=high \
+--num-callers=40 --leak-resolution=high \
 --suppressions=$(top_srcdir)/tests/valgrind_suppressions
else !VALGRIND_TESTS_ENABLED
diff --git a/tests/Powerset/Makefile.am b/tests/Powerset/Makefile.am
index 705a421..222cd01 100644
--- a/tests/Powerset/Makefile.am
+++ b/tests/Powerset/Makefile.am
@@ -26,7 +26,7 @@ if VALGRIND_TESTS_ENABLED
CHECKER = \
 $(VALGRIND) --tool=memcheck -q --trace-children=yes --leak-check=yes \
---num-callers=100 --leak-resolution=high \
+--num-callers=40 --leak-resolution=high \
 --suppressions=$(top_srcdir)/tests/valgrind_suppressions
else !VALGRIND_TESTS_ENABLED
diff --git a/tests/Sparse_Matrix/Makefile.am b/tests/Sparse_Matrix/Makefile.am
index 53ded75..0585205 100644
--- a/tests/Sparse_Matrix/Makefile.am
+++ b/tests/Sparse_Matrix/Makefile.am
@@ -25,7 +25,7 @@ if VALGRIND_TESTS_ENABLED
CHECKER = \
 $(VALGRIND) --tool=memcheck -q --trace-children=yes --leak-check=yes \
---num-callers=100 --leak-resolution=high \
+--num-callers=40 --leak-resolution=high \
 --suppressions=$(top_srcdir)/tests/valgrind_suppressions
else !VALGRIND_TESTS_ENABLED

    

Roberto Bagnara

tags (0)

participants (1)