[GIT] ppl/ppl(master): Fixed value for Valgrind --num-callers option.

Module: ppl/ppl Branch: master Commit: 4de3f8fdbdeb0d99e728dbfe9540b52daab08373 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4de3f8fdbdeb0...
Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Mon Feb 13 15:19:24 2012 +0100
Fixed value for Valgrind --num-callers option. According to man pages, maximum value is 50.
---
tests/Concrete_Expression/Makefile.am | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-)
diff --git a/tests/Concrete_Expression/Makefile.am b/tests/Concrete_Expression/Makefile.am index e52c1ac..dacaaee 100644 --- a/tests/Concrete_Expression/Makefile.am +++ b/tests/Concrete_Expression/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
participants (1)
-
Enea Zaffanella