- PPL-devel - BUGSENG Mailman

[GIT] ppl/ppl(master): Prefer using logical (wrt bitwise) operators on Boolean values.
by Enea Zaffanella 15 Feb '12

15 Feb '12

Module: ppl/ppl Branch: master Commit: 68cc056b563b384a43a45278fb30c97907901240 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=68cc056b563b… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Wed Feb 15 08:25:15 2012 +0100 Prefer using logical (wrt bitwise) operators on Boolean values. Detected by ECLAIR service utypflag. --- src/Box.templates.hh | 4 ++-- src/Pointset_Powerset.templates.hh | 4 ++-- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/src/Box.templates.hh b/src/Box.templates.hh index 13e51f5..1e59a3d 100644 --- a/src/Box.templates.hh +++ b/src/Box.templates.hh @@ -3125,7 +3125,7 @@ Box<ITV> assign_r(q.get_num(), numer_lower, ROUND_NOT_NEEDED); assign_r(q.get_den(), denom_lower, ROUND_NOT_NEEDED); q.canonicalize(); - open_lower |= !included; + open_lower = (open_lower || !included); if ((ub_var_coeff >= 0) ? !negative_denom : negative_denom) seq_var.add_constraint(i_constraint(open_lower ? GREATER_THAN : GREATER_OR_EQUAL, q)); else @@ -3158,7 +3158,7 @@ Box<ITV> assign_r(q.get_num(), numer_upper, ROUND_NOT_NEEDED); assign_r(q.get_den(), denom_upper, ROUND_NOT_NEEDED); q.canonicalize(); - open_upper |= !included; + open_upper = (open_upper || !included); if ((lb_var_coeff >= 0) ? !negative_denom : negative_denom) seq_var.add_constraint(i_constraint(open_upper ? LESS_THAN : LESS_OR_EQUAL, q)); else diff --git a/src/Pointset_Powerset.templates.hh b/src/Pointset_Powerset.templates.hh index f1b1ade..76c1b9b 100644 --- a/src/Pointset_Powerset.templates.hh +++ b/src/Pointset_Powerset.templates.hh @@ -674,8 +674,8 @@ Pointset_Powerset<PSET> PSET context_i(si->pointset()); context_i.intersection_assign(enlarged); PSET enlarged_i(dest); - nonempty_intersection - |= enlarged_i.simplify_using_context_assign(context_i); + if (enlarged_i.simplify_using_context_assign(context_i)) + nonempty_intersection = true; // TODO: merge the sorted constraints of `enlarged' and `enlarged_i'? enlarged.intersection_assign(enlarged_i); }

1 0

a bug in PPL Java bindings
by Gianluca Amato 14 Feb '12

14 Feb '12

Hi, I'm here again with another problem concerning boxes and Java bindings. I found by chance a sequence of operations which gives a wrong result. It is difficult to describe what happens, therefore I prepared a small Java program exhibiting the bad behavior. The program should print A in 0, B in 1 A in 0, B in 1 A in 0, B in 4 false A in 0, B in 4 but it prints: A in 0, B in 1 A in 0, B in 1 A in 0, B in 4 false A in 0, B in [1, 4] Cheers, --gianluca

3 2

[GIT] ppl/ppl(master): Fixed a bug in Box<ITV>::upper_bound_assign( _if_exact).
by Enea Zaffanella 14 Feb '12

14 Feb '12

Module: ppl/ppl Branch: master Commit: 50bf9eb645f7db8db9157788112b41d88cf18f08 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=50bf9eb645f7… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Tue Feb 14 11:53:23 2012 +0100 Fixed a bug in Box<ITV>::upper_bound_assign(_if_exact). Calling the method with an empty argument that, due to computational laziness, is not yet flagged as being empty was producing wrong results. (Note: here `wrong' means unnecessarily imprecise; from the point of view of approximation, the results were still correct). See test08 in tests/Box/upperbound1.cc. --- src/Box.templates.hh | 8 ++++---- 1 files changed, 4 insertions(+), 4 deletions(-) diff --git a/src/Box.templates.hh b/src/Box.templates.hh index 341c111..13e51f5 100644 --- a/src/Box.templates.hh +++ b/src/Box.templates.hh @@ -1205,9 +1205,9 @@ Box<ITV>::upper_bound_assign_if_exact(const Box& y) { x.throw_dimension_incompatible("upper_bound_assign_if_exact(y)", y); // The lub of a box with an empty box is equal to the first box. - if (y.marked_empty()) + if (y.is_empty()) return true; - if (x.marked_empty()) { + if (x.is_empty()) { x = y; return true; } @@ -1753,9 +1753,9 @@ Box<ITV>::upper_bound_assign(const Box& y) { x.throw_dimension_incompatible("upper_bound_assign(y)", y); // The lub of a box with an empty box is equal to the first box. - if (y.marked_empty()) + if (y.is_empty()) return; - if (x.marked_empty()) { + if (x.is_empty()) { x = y; return; }

1 0

[GIT] ppl/ppl(master): Restored a few tests commented out long time ago.
by Enea Zaffanella 14 Feb '12

14 Feb '12

Module: ppl/ppl Branch: master Commit: 2fcad61ebee93894f4c465da36f49db9a32d921e URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2fcad61ebee9… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Tue Feb 14 11:51:11 2012 +0100 Restored a few tests commented out long time ago. Added a new test (synthesized from a Java test provided by Gianluca Amato) showing a problem in the implementation of Box<ITV>::upper_bound_assign(). --- tests/Box/upperbound1.cc | 92 +++++++++++++++++++--------------------------- 1 files changed, 38 insertions(+), 54 deletions(-) diff --git a/tests/Box/upperbound1.cc b/tests/Box/upperbound1.cc index 464436f..d011423 100644 --- a/tests/Box/upperbound1.cc +++ b/tests/Box/upperbound1.cc @@ -35,13 +35,10 @@ test01() { TBox box1(5); box1.add_constraint(x1 <= 5); box1.add_constraint(x2 <= -1); - box1.add_constraint(x1 -x2 <= 10); TBox box2(5); - box2.add_constraint(x1 <= 2); + box2.add_constraint(x1 <= 2); box2.add_constraint(x4 <= 7); - box2.add_constraint(x1 - x2 <= 20); - box2.add_constraint(x4 - x3 <= 3); print_constraints(box1, "*** box1 ***"); print_constraints(box2, "*** box2 ***"); @@ -50,7 +47,6 @@ test01() { Rational_Box known_result(5); known_result.add_constraint(x1 <= 5); - known_result.add_constraint(x1 - x2 <= 20); bool ok = check_result(box1, known_result); @@ -69,10 +65,8 @@ test02() { box1.add_constraint(-x <= -1); box1.add_constraint(y <= 3); box1.add_constraint(-y <= -1); - box1.add_constraint(x - y <= 1); TBox box2(3); - box2.add_constraint(y - x <= -1); box2.add_constraint(x <= 3); box2.add_constraint(-y <= 5); @@ -84,10 +78,6 @@ test02() { Rational_Box known_result(3); known_result.add_constraint(x <= 4); known_result.add_constraint(y >= -5); - known_result.add_constraint(x >= -4); - known_result.add_constraint(y <= 3); - known_result.add_constraint(x - y <= 8); - known_result.add_constraint(y - x <= 2); bool ok = check_result(box1, known_result); @@ -106,10 +96,8 @@ test03() { box1.add_constraint(-x <= -1); box1.add_constraint(y <= 3); box1.add_constraint(-y <= -1); - box1.add_constraint(x - y <= 1); TBox box2(2); - box2.add_constraint(y - x <= -1); box2.add_constraint(x <= 3); box2.add_constraint(x >= 5); @@ -137,12 +125,11 @@ test04() { box1.add_constraint(A >= 1); box1.add_constraint(B <= 3); box1.add_constraint(-B <= -1); - box1.add_constraint(A - B <= 1); TBox box2(2); - box2.add_constraint(B - A <= -1); - box2.add_constraint(A <= 3); + box2.add_constraint(A <= 8); box2.add_constraint(-B <= 5); + box2.add_constraint(B <= 0); print_constraints(box1, "*** box1 ***"); print_constraints(box2, "*** box2 ***"); @@ -150,12 +137,9 @@ test04() { box1.upper_bound_assign(box2); Rational_Box known_result(2); - known_result.add_constraint(A <= 4); + known_result.add_constraint(A <= 8); known_result.add_constraint(B >= -5); - known_result.add_constraint(A >= -4); known_result.add_constraint(B <= 3); - known_result.add_constraint(A - B <= 8); - known_result.add_constraint(B - A <= 2); bool ok = check_result(box1, known_result); @@ -186,31 +170,6 @@ test05() { bool test06() { - Variable x(0); - Variable y(1); - - TBox box1(2); - box1.add_constraint(x >= y); - - TBox box2(3); - - try { - // This is an invalid use of method - // Box::upper_bound_assign(box2): it is illegal - // to apply the method to two polyhedra of different dimensions. - box1.upper_bound_assign(box2); - } - catch (std::invalid_argument& e) { - nout << "std::invalid_argument: " << endl; - return true; - } - catch (...) { - } - return false; -} - -bool -test07() { Variable A(0); TBox box1(1); @@ -236,7 +195,7 @@ test07() { } bool -test08() { +test07() { Variable x1(0); TBox box1(1); @@ -252,16 +211,41 @@ test08() { return true; } +bool +test08() { + Variable A(0); + Variable B(1); + + TBox box1(2, UNIVERSE); + box1.add_constraint(A == 0); + box1.add_constraint(B == 1); + + TBox box2(box1); + box1.affine_image(B, Linear_Expression(4)); + + box2.add_constraint(A > 1); + box1.upper_bound_assign(box2); + + TBox known_result(2, UNIVERSE); + known_result.add_constraint(A == 0); + known_result.add_constraint(B == 4); + + bool ok = check_result(box1, known_result); + + print_constraints(box1, "=== box1 ==="); + print_constraints(box2, "=== known_result ==="); + return ok; +} + } // namespace BEGIN_MAIN -// CHECKME: why test from 1 to 7 are commented out? -// DO_TEST(test01); -// DO_TEST(test02); -// DO_TEST(test03); -// DO_TEST(test04); -// DO_TEST(test05); -// DO_TEST(test06); -// DO_TEST(test07); + DO_TEST(test01); + DO_TEST(test02); + DO_TEST(test03); + DO_TEST(test04); + DO_TEST(test05); + DO_TEST(test06); + DO_TEST(test07); DO_TEST(test08); END_MAIN

1 0

narrowing and Java bindings
by Gianluca Amato 13 Feb '12

13 Feb '12

Hi all, I'm trying the Java bindings for PPL. It seems that some domains (namely boxes) miss the CC76_narrowing_assign method. Is it just an oversight, or there are more fundamental issues behind? Thanks, --gianluca

2 3

[GIT] ppl/ppl(master): Version number bumped.
by Roberto Bagnara 13 Feb '12

13 Feb '12

Module: ppl/ppl Branch: master Commit: 85c99baeae690a24a5a17eb5ee1279869e5e145d URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=85c99baeae69… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Feb 13 16:48:40 2012 +0100 Version number bumped. --- configure.ac | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/configure.ac b/configure.ac index 983f8c7..98d8248 100644 --- a/configure.ac +++ b/configure.ac @@ -24,7 +24,7 @@ # Process this file with Autoconf to produce a configure script. # Every other copy of the package version number gets its value from here. -AC_INIT([the Parma Polyhedra Library], [0.12pre5], [ppl-devel(a)cs.unipr.it] [ppl]) +AC_INIT([the Parma Polyhedra Library], [0.12pre6], [ppl-devel(a)cs.unipr.it] [ppl]) # Minimum Autoconf version required. AC_PREREQ(2.61)

1 0

[GIT] ppl/ppl(master): Indentation fixed.
by Roberto Bagnara 13 Feb '12

13 Feb '12

Module: ppl/ppl Branch: master Commit: cc8006165e6ffa0265e001311db62ec68118511e URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cc8006165e6f… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Feb 13 16:48:11 2012 +0100 Indentation fixed. --- src/DB_Matrix.defs.hh | 12 ++++++------ 1 files changed, 6 insertions(+), 6 deletions(-) diff --git a/src/DB_Matrix.defs.hh b/src/DB_Matrix.defs.hh index 1582494..afe41ea 100644 --- a/src/DB_Matrix.defs.hh +++ b/src/DB_Matrix.defs.hh @@ -310,12 +310,12 @@ bool euclidean_distance_assign(Checked_Number<To, Extended_Number_Policy>& r, #endif // defined(PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS) template <typename Temp, typename To, typename T> bool l_infinity_distance_assign(Checked_Number<To, Extended_Number_Policy>& r, - const DB_Matrix<T>& x, - const DB_Matrix<T>& y, - Rounding_Dir dir, - Temp& tmp0, - Temp& tmp1, - Temp& tmp2); + const DB_Matrix<T>& x, + const DB_Matrix<T>& y, + Rounding_Dir dir, + Temp& tmp0, + Temp& tmp1, + Temp& tmp2); } // namespace Parma_Polyhedra_Library

1 0

[GIT] ppl/ppl(master): Enabled CC76_narrowing_assign for Boxes.
by Patricia Hill 13 Feb '12

13 Feb '12

Module: ppl/ppl Branch: master Commit: b459380ce0ca5721c8dad52e72b4cb4e407450a9 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b459380ce0ca… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Mon Feb 13 15:19:25 2012 +0000 Enabled CC76_narrowing_assign for Boxes. --- interfaces/ppl_interface_generator_common_dat.m4 | 4 +++- ...erface_generator_common_procedure_generators.m4 | 2 +- 2 files changed, 4 insertions(+), 2 deletions(-) diff --git a/interfaces/ppl_interface_generator_common_dat.m4 b/interfaces/ppl_interface_generator_common_dat.m4 index 8f37632..17b6a63 100644 --- a/interfaces/ppl_interface_generator_common_dat.m4 +++ b/interfaces/ppl_interface_generator_common_dat.m4 @@ -706,7 +706,9 @@ m4_define(`m4_extrapolation_replacements', `NONE') m4_define(`m4_BD_Shape_extrapolation_replacements', `CC76') m4_define(`m4_Octagonal_Shape_extrapolation_replacements', - `CC76') + `CC76') +m4_define(`m4_box_extrapolation_replacements', + `CC76') dnl --------------------------------------------------------------------- dnl pattern == widenexp diff --git a/interfaces/ppl_interface_generator_common_procedure_generators.m4 b/interfaces/ppl_interface_generator_common_procedure_generators.m4 index 7477af9..ead5e2c 100644 --- a/interfaces/ppl_interface_generator_common_procedure_generators.m4 +++ b/interfaces/ppl_interface_generator_common_procedure_generators.m4 @@ -111,7 +111,7 @@ ppl_@CLASS@_@LIMITEDBOUNDED@_@WIDENEXPN@_extrapolation_assign_with_tokens/5 +sim ppl_@CLASS@_@LIMITEDBOUNDED@_@WIDENEXPN@_extrapolation_assign/3 *nofail +simple, ppl_@CLASS@_@EXTRAPOLATION@_extrapolation_assign_with_tokens/4 +wr_shape, ppl_@CLASS@_@EXTRAPOLATION@_extrapolation_assign/2 *nofail +wr_shape, -ppl_@CLASS@_@EXTRAPOLATION@_narrowing_assign/2 +wr_shape, +ppl_@CLASS@_@EXTRAPOLATION@_narrowing_assign/2 +shape_group, dnl dnl NOTE: The next few schemas provide procedures specifically for dnl the pointset_powerset domains.

1 0

[GIT] ppl/ppl(master): Invoke libtool when checking with Valgrind enabled.
by Enea Zaffanella 13 Feb '12

13 Feb '12

Module: ppl/ppl Branch: master Commit: 690131aa5ec3e6c69c43c84ceca54ea893f2b0d4 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=690131aa5ec3… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Feb 13 15:48:24 2012 +0100 Invoke libtool when checking with Valgrind enabled. --- Watchdog/tests/Makefile.am | 1 + tests/Ask_Tell/Makefile.am | 1 + tests/BD_Shape/Makefile.am | 1 + tests/Box/Makefile.am | 1 + tests/CO_Tree/Makefile.am | 1 + tests/Concrete_Expression/Makefile.am | 1 + tests/Grid/Makefile.am | 1 + tests/MIP_Problem/Makefile.am | 1 + tests/Octagonal_Shape/Makefile.am | 1 + tests/PIP_Problem/Makefile.am | 1 + tests/Partially_Reduced_Product/Makefile.am | 1 + tests/Polyhedron/Makefile.am | 1 + tests/Powerset/Makefile.am | 1 + tests/Sparse_Matrix/Makefile.am | 1 + 14 files changed, 14 insertions(+), 0 deletions(-) diff --git a/Watchdog/tests/Makefile.am b/Watchdog/tests/Makefile.am index 1b5daa1..195e408 100644 --- a/Watchdog/tests/Makefile.am +++ b/Watchdog/tests/Makefile.am @@ -24,6 +24,7 @@ if VALGRIND_TESTS_ENABLED CHECKER = \ +libtool --mode=execute \ $(VALGRIND) --tool=memcheck -q --trace-children=yes --leak-check=yes \ --num-callers=40 --leak-resolution=high \ --suppressions=$(srcdir)/valgrind_suppressions diff --git a/tests/Ask_Tell/Makefile.am b/tests/Ask_Tell/Makefile.am index fa1138b..4848736 100644 --- a/tests/Ask_Tell/Makefile.am +++ b/tests/Ask_Tell/Makefile.am @@ -24,6 +24,7 @@ if VALGRIND_TESTS_ENABLED CHECKER = \ +libtool --mode=execute \ $(VALGRIND) --tool=memcheck -q --trace-children=yes --leak-check=yes \ --num-callers=40 --leak-resolution=high \ --suppressions=$(top_srcdir)/tests/valgrind_suppressions diff --git a/tests/BD_Shape/Makefile.am b/tests/BD_Shape/Makefile.am index 0d60c46..930d68e 100644 --- a/tests/BD_Shape/Makefile.am +++ b/tests/BD_Shape/Makefile.am @@ -24,6 +24,7 @@ if VALGRIND_TESTS_ENABLED CHECKER = \ +libtool --mode=execute \ $(VALGRIND) --tool=memcheck -q --trace-children=yes --leak-check=yes \ --num-callers=40 --leak-resolution=high \ --suppressions=$(top_srcdir)/tests/valgrind_suppressions diff --git a/tests/Box/Makefile.am b/tests/Box/Makefile.am index cceef3c..1a3d8ce 100644 --- a/tests/Box/Makefile.am +++ b/tests/Box/Makefile.am @@ -24,6 +24,7 @@ if VALGRIND_TESTS_ENABLED CHECKER = \ +libtool --mode=execute \ $(VALGRIND) --tool=memcheck -q --trace-children=yes --leak-check=yes \ --num-callers=40 --leak-resolution=high \ --suppressions=$(top_srcdir)/tests/valgrind_suppressions diff --git a/tests/CO_Tree/Makefile.am b/tests/CO_Tree/Makefile.am index 66c49c9..ae58ada 100644 --- a/tests/CO_Tree/Makefile.am +++ b/tests/CO_Tree/Makefile.am @@ -24,6 +24,7 @@ if VALGRIND_TESTS_ENABLED CHECKER = \ +libtool --mode=execute \ $(VALGRIND) --tool=memcheck -q --trace-children=yes --leak-check=yes \ --num-callers=40 --leak-resolution=high \ --suppressions=$(top_srcdir)/tests/valgrind_suppressions diff --git a/tests/Concrete_Expression/Makefile.am b/tests/Concrete_Expression/Makefile.am index dacaaee..3454958 100644 --- a/tests/Concrete_Expression/Makefile.am +++ b/tests/Concrete_Expression/Makefile.am @@ -24,6 +24,7 @@ if VALGRIND_TESTS_ENABLED CHECKER = \ +libtool --mode=execute \ $(VALGRIND) --tool=memcheck -q --trace-children=yes --leak-check=yes \ --num-callers=40 --leak-resolution=high \ --suppressions=$(top_srcdir)/tests/valgrind_suppressions diff --git a/tests/Grid/Makefile.am b/tests/Grid/Makefile.am index 2683683..8fc1ab1 100644 --- a/tests/Grid/Makefile.am +++ b/tests/Grid/Makefile.am @@ -25,6 +25,7 @@ if VALGRIND_TESTS_ENABLED CHECKER = \ +libtool --mode=execute \ $(VALGRIND) --tool=memcheck -q --trace-children=yes --leak-check=yes \ --num-callers=40 --leak-resolution=high \ --suppressions=$(top_srcdir)/tests/valgrind_suppressions diff --git a/tests/MIP_Problem/Makefile.am b/tests/MIP_Problem/Makefile.am index 4faf479..3f9ee7b 100644 --- a/tests/MIP_Problem/Makefile.am +++ b/tests/MIP_Problem/Makefile.am @@ -24,6 +24,7 @@ if VALGRIND_TESTS_ENABLED CHECKER = \ +libtool --mode=execute \ $(VALGRIND) --tool=memcheck -q --trace-children=yes --leak-check=yes \ --num-callers=40 --leak-resolution=high \ --suppressions=$(top_srcdir)/tests/valgrind_suppressions diff --git a/tests/Octagonal_Shape/Makefile.am b/tests/Octagonal_Shape/Makefile.am index 1c9795d..b9648a3 100644 --- a/tests/Octagonal_Shape/Makefile.am +++ b/tests/Octagonal_Shape/Makefile.am @@ -24,6 +24,7 @@ if VALGRIND_TESTS_ENABLED CHECKER = \ +libtool --mode=execute \ $(VALGRIND) --tool=memcheck -q --trace-children=yes --leak-check=yes \ --num-callers=40 --leak-resolution=high \ --suppressions=$(top_srcdir)/tests/valgrind_suppressions diff --git a/tests/PIP_Problem/Makefile.am b/tests/PIP_Problem/Makefile.am index 8bfd504..6102d97 100644 --- a/tests/PIP_Problem/Makefile.am +++ b/tests/PIP_Problem/Makefile.am @@ -24,6 +24,7 @@ if VALGRIND_TESTS_ENABLED CHECKER = \ +libtool --mode=execute \ $(VALGRIND) --tool=memcheck -q --trace-children=yes --leak-check=yes \ --num-callers=40 --leak-resolution=high \ --suppressions=$(top_srcdir)/tests/valgrind_suppressions diff --git a/tests/Partially_Reduced_Product/Makefile.am b/tests/Partially_Reduced_Product/Makefile.am index de605e4..10a14f1 100644 --- a/tests/Partially_Reduced_Product/Makefile.am +++ b/tests/Partially_Reduced_Product/Makefile.am @@ -25,6 +25,7 @@ if VALGRIND_TESTS_ENABLED CHECKER = \ +libtool --mode=execute \ $(VALGRIND) --tool=memcheck -q --trace-children=yes --leak-check=yes \ --num-callers=40 --leak-resolution=high \ --suppressions=$(top_srcdir)/tests/valgrind_suppressions diff --git a/tests/Polyhedron/Makefile.am b/tests/Polyhedron/Makefile.am index 337173a..571972c 100644 --- a/tests/Polyhedron/Makefile.am +++ b/tests/Polyhedron/Makefile.am @@ -24,6 +24,7 @@ if VALGRIND_TESTS_ENABLED CHECKER = \ +libtool --mode=execute \ $(VALGRIND) --tool=memcheck -q --trace-children=yes --leak-check=yes \ --num-callers=40 --leak-resolution=high \ --suppressions=$(top_srcdir)/tests/valgrind_suppressions diff --git a/tests/Powerset/Makefile.am b/tests/Powerset/Makefile.am index 8bf5750..df6075e 100644 --- a/tests/Powerset/Makefile.am +++ b/tests/Powerset/Makefile.am @@ -25,6 +25,7 @@ if VALGRIND_TESTS_ENABLED CHECKER = \ +libtool --mode=execute \ $(VALGRIND) --tool=memcheck -q --trace-children=yes --leak-check=yes \ --num-callers=40 --leak-resolution=high \ --suppressions=$(top_srcdir)/tests/valgrind_suppressions diff --git a/tests/Sparse_Matrix/Makefile.am b/tests/Sparse_Matrix/Makefile.am index 4baba61..ec1d8e5 100644 --- a/tests/Sparse_Matrix/Makefile.am +++ b/tests/Sparse_Matrix/Makefile.am @@ -24,6 +24,7 @@ if VALGRIND_TESTS_ENABLED CHECKER = \ +libtool --mode=execute \ $(VALGRIND) --tool=memcheck -q --trace-children=yes --leak-check=yes \ --num-callers=40 --leak-resolution=high \ --suppressions=$(top_srcdir)/tests/valgrind_suppressions

1 0

[GIT] ppl/ppl(master): Fixed value for Valgrind --num-callers option.
by Enea Zaffanella 13 Feb '12

13 Feb '12

Module: ppl/ppl Branch: master Commit: 4de3f8fdbdeb0d99e728dbfe9540b52daab08373 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4de3f8fdbdeb… Author: Enea Zaffanella <zaffanella(a)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

1 0