March 2010 - PPL-devel - BUGSENG Mailman

[GIT] ppl/ppl(master): Added two tests for incremental addition of parametric constraints.
by François Galea 04 Mar '10

04 Mar '10

Module: ppl/ppl Branch: master Commit: 9a06b9697b655aa681e52e95cae2d9bff436e6b9 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9a06b9697b65… Author: François Galea <francois.galea(a)uvsq.fr> Date: Thu Mar 4 13:59:59 2010 +0100 Added two tests for incremental addition of parametric constraints. Even though correct, the resulting solution trees can be simplified. --- tests/PIP_Problem/pipproblem1.cc | 74 ++++++++++++++++++++++++++++++++++++++ 1 files changed, 74 insertions(+), 0 deletions(-) diff --git a/tests/PIP_Problem/pipproblem1.cc b/tests/PIP_Problem/pipproblem1.cc index b10b076..64deaa0 100644 --- a/tests/PIP_Problem/pipproblem1.cc +++ b/tests/PIP_Problem/pipproblem1.cc @@ -562,6 +562,78 @@ test19() { return ok; } +bool +test20() { + // Same problem as test02, but incrementally adding a parameter constraint + // making the solution tree simpler. + Variable i(0); + Variable j(1); + Variable n(2); + Variable m(3); + Variables_Set params(n, m); + + Constraint_System cs; + cs.insert(3*j >= -2*i+8); + cs.insert(j <= 4*i - 4); + cs.insert(j <= m); + cs.insert(i <= n); + + PIP_Problem pip(cs.space_dimension(), cs.begin(), cs.end(), params); + + bool ok = (pip.solve() == OPTIMIZED_PIP_PROBLEM); + if (ok) { + const PIP_Tree solution = pip.solution(); + ok &= solution->OK(); + pip.print_solution(nout); + } + + pip.add_constraint(7*m >= 12); + ok &= (pip.solve() == OPTIMIZED_PIP_PROBLEM); + if (ok) { + const PIP_Tree solution = pip.solution(); + ok &= solution->OK(); + pip.print_solution(nout); + } + + return ok; +} + +bool +test21() { + // Same problem as test02, but incrementally adding a parameter constraint + // making the solution tree simpler. + Variable i(0); + Variable j(1); + Variable n(2); + Variable m(3); + Variables_Set params(n, m); + + Constraint_System cs; + cs.insert(3*j >= -2*i+8); + cs.insert(j <= 4*i - 4); + cs.insert(j <= m); + cs.insert(i <= n); + + PIP_Problem pip(cs.space_dimension(), cs.begin(), cs.end(), params); + + bool ok = (pip.solve() == OPTIMIZED_PIP_PROBLEM); + if (ok) { + const PIP_Tree solution = pip.solution(); + ok &= solution->OK(); + pip.print_solution(nout); + } + + pip.add_constraint(7*m < 12); + ok &= (pip.solve() == OPTIMIZED_PIP_PROBLEM); + if (ok) { + const PIP_Tree solution = pip.solution(); + ok &= solution->OK(); + pip.print_solution(nout); + } + + return ok; +} + } // namespace BEGIN_MAIN @@ -584,4 +656,6 @@ BEGIN_MAIN DO_TEST(test17); DO_TEST(test18); DO_TEST_F8(test19); + DO_TEST(test20); + DO_TEST(test21); END_MAIN

1 0

[GIT] ppl/ppl(sparse_matrices): Fixes tests: Unlimited_Sparse_Row_Std_List_Backend: don' t copy-construct an iterator in the default constructor.
by Marco Poletti 04 Mar '10

04 Mar '10

Module: ppl/ppl Branch: sparse_matrices Commit: 8450b83ae3e87afbceeb05a7709fb15d8030490d URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8450b83ae3e8… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Mar 4 13:35:43 2010 +0100 Fixes tests: Unlimited_Sparse_Row_Std_List_Backend: don't copy-construct an iterator in the default constructor. --- src/Unlimited_Sparse_Row_Std_List_Backend.defs.hh | 3 ++- ...nlimited_Sparse_Row_Std_List_Backend.inlines.hh | 6 ++++++ 2 files changed, 8 insertions(+), 1 deletions(-) diff --git a/src/Unlimited_Sparse_Row_Std_List_Backend.defs.hh b/src/Unlimited_Sparse_Row_Std_List_Backend.defs.hh index 67cd529..9e85bef 100644 --- a/src/Unlimited_Sparse_Row_Std_List_Backend.defs.hh +++ b/src/Unlimited_Sparse_Row_Std_List_Backend.defs.hh @@ -46,7 +46,8 @@ public: //! This is not a typedef to allow overloading of methods with both types. class dangerous_iterator : public iterator { public: - dangerous_iterator(iterator i=iterator()); + dangerous_iterator(); + dangerous_iterator(iterator i); static dangerous_iterator next(iterator i); }; diff --git a/src/Unlimited_Sparse_Row_Std_List_Backend.inlines.hh b/src/Unlimited_Sparse_Row_Std_List_Backend.inlines.hh index 391cb05..f2a3d0a 100644 --- a/src/Unlimited_Sparse_Row_Std_List_Backend.inlines.hh +++ b/src/Unlimited_Sparse_Row_Std_List_Backend.inlines.hh @@ -28,6 +28,12 @@ namespace Parma_Polyhedra_Library { inline Unlimited_Sparse_Row_Std_List_Backend::dangerous_iterator:: + dangerous_iterator() + : iterator() { +} + +inline +Unlimited_Sparse_Row_Std_List_Backend::dangerous_iterator:: dangerous_iterator(iterator i) : iterator(i) { }

1 0

[GIT] ppl/ppl(sparse_matrices): New commits
by Roberto Bagnara 04 Mar '10

04 Mar '10

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3da58271ab5f… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Mar 3 22:29:40 2010 +0100 Sparse_Row, Sparse_Row_Reference: really allow swapping. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=63a98658bd96… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Mar 3 22:28:26 2010 +0100 Unlimited_Sparse_Row: fix swap() of empty rows. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2a5c027a7dd0… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Mar 3 22:27:25 2010 +0100 Unlimited_Sparse_Row: call backend's OK() method in OK() method. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e7ffe2bfa408… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Mar 3 20:51:53 2010 +0100 Sparse_Matrix: add clear() method. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1126de141f43… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Mar 3 20:37:24 2010 +0100 Sparse_Matrix: add another add_row() method. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=49042fbe83c1… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Mar 3 20:28:07 2010 +0100 Sparse_Matrix: add assertion in add_row() methods. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=941b3a57b96c… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Mar 3 20:18:53 2010 +0100 Sparse_Matrix: add add_row() method.

1 0

[GIT] ppl/ppl(master): Replaced using directives by using declarations.
by Roberto Bagnara 04 Mar '10

04 Mar '10

Module: ppl/ppl Branch: master Commit: e961e540b837270dec1af5d31a65f726dfafa1ba URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e961e540b837… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Mar 4 10:09:37 2010 +0400 Replaced using directives by using declarations. --- src/globals.defs.hh | 60 +++++++++++++++++++++++++------------------------- 1 files changed, 30 insertions(+), 30 deletions(-) diff --git a/src/globals.defs.hh b/src/globals.defs.hh index 5bf5d44..62c1b95 100644 --- a/src/globals.defs.hh +++ b/src/globals.defs.hh @@ -82,7 +82,7 @@ swap(T&, T&) { #endif // defined(PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS) dimension_type compute_capacity(dimension_type requested_size, - dimension_type maximum_size); + dimension_type maximum_size); #ifdef PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS @@ -138,38 +138,38 @@ extern unsigned int in_assert; #if defined(NDEBUG) #if PPL_PROFILE_ADD_WEIGHT #define WEIGHT_BEGIN() Weight_Profiler::begin() -#define WEIGHT_ADD(delta) \ - do { \ +#define WEIGHT_ADD(delta) \ + do { \ static Weight_Profiler wp__(__FILE__, __LINE__, delta); \ - wp__.end(); \ + wp__.end(); \ } while(0) -#define WEIGHT_ADD_MUL(delta, factor) \ - do { \ - static Weight_Profiler wp__(__FILE__, __LINE__, delta); \ - wp__.end(factor); \ +#define WEIGHT_ADD_MUL(delta, factor) \ + do { \ + static Weight_Profiler wp__(__FILE__, __LINE__, delta); \ + wp__.end(factor); \ } while(0) #else #define WEIGHT_BEGIN() -#define WEIGHT_ADD(delta) \ - do { \ - Weightwatch_Traits::weight += delta; \ +#define WEIGHT_ADD(delta) \ + do { \ + Weightwatch_Traits::weight += delta; \ } while(0) -#define WEIGHT_ADD_MUL(delta, factor) \ - do { \ - Weightwatch_Traits::weight += delta * factor; \ +#define WEIGHT_ADD_MUL(delta, factor) \ + do { \ + Weightwatch_Traits::weight += delta * factor; \ } while(0) #endif #else #define WEIGHT_BEGIN() -#define WEIGHT_ADD(delta) \ - do { \ - if (!Implementation::in_assert) \ - Weightwatch_Traits::weight += delta; \ +#define WEIGHT_ADD(delta) \ + do { \ + if (!Implementation::in_assert) \ + Weightwatch_Traits::weight += delta; \ } while(0) -#define WEIGHT_ADD_MUL(delta, factor) \ - do { \ - if (!Implementation::in_assert) \ - Weightwatch_Traits::weight += delta * factor; \ +#define WEIGHT_ADD_MUL(delta, factor) \ + do { \ + if (!Implementation::in_assert) \ + Weightwatch_Traits::weight += delta * factor; \ } while(0) #endif @@ -237,11 +237,11 @@ struct Recycle_Input { // Turn the expansion of s into a string: PPL_XSTR(x) => "x expanded". #define PPL_XSTR(s) PPL_STR(s) -#define PPL_OUTPUT_DECLARATIONS \ +#define PPL_OUTPUT_DECLARATIONS \ /*! \brief Writes to \c std::cerr an ASCII representation of \p *this. */ \ - void ascii_dump() const; \ - /*! \brief Writes to \p s an ASCII representation of \p *this. */ \ - void ascii_dump(std::ostream& s) const; \ + void ascii_dump() const; \ + /*! \brief Writes to \p s an ASCII representation of \p *this. */ \ + void ascii_dump(std::ostream& s) const; \ /*! \brief Prints \p *this to \c std::cerr using \c operator<<. */ \ void print() const; @@ -253,7 +253,7 @@ struct Recycle_Input { \ void \ Parma_Polyhedra_Library::class_name::print() const { \ - using namespace IO_Operators; \ + using IO_Operators::operator<<; \ std::cerr << *this; \ } @@ -279,7 +279,7 @@ struct Recycle_Input { template <typename type_symbol> \ void \ class_prefix::print() const { \ - using namespace IO_Operators; \ + using IO_Operators::operator<<; \ std::cerr << *this; \ } @@ -295,7 +295,7 @@ struct Recycle_Input { template <typename type_symbol1, typename type_symbol2> \ void \ class_prefix<type_symbol1, type_symbol2>::print() const { \ - using namespace IO_Operators; \ + using IO_Operators::operator<<; \ std::cerr << *this; \ } @@ -316,7 +316,7 @@ struct Recycle_Input { void \ class_prefix<type_symbol1, type_symbol2, type_symbol3>::print() \ const { \ - using namespace IO_Operators; \ + using IO_Operators::operator<<; \ std::cerr << *this; \ }

1 0

[GIT] ppl/ppl(master): Apparently GNU Hurd only supports ITIMER_REAL.
by Roberto Bagnara 04 Mar '10

04 Mar '10

Module: ppl/ppl Branch: master Commit: 8ca010b524e44674465d28e6cadb6767067e5b28 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8ca010b524e4… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Mar 3 22:13:57 2010 +0400 Apparently GNU Hurd only supports ITIMER_REAL. (Thanks to Michael Tautschnig: http://www.cs.unipr.it/pipermail/ppl-devel/2010-March/016072.html). --- Watchdog/src/Watchdog.cc | 4 +++- 1 files changed, 3 insertions(+), 1 deletions(-) diff --git a/Watchdog/src/Watchdog.cc b/Watchdog/src/Watchdog.cc index 9a8e8c7..554c724 100644 --- a/Watchdog/src/Watchdog.cc +++ b/Watchdog/src/Watchdog.cc @@ -47,8 +47,10 @@ namespace PWL = Parma_Watchdog_Library; #endif // Cygwin only supports ITIMER_REAL. +// Apparently GNU Hurd also only supports ITIMER_REAL +// (see http://www.cs.unipr.it/pipermail/ppl-devel/2010-March/016072.html). // Profiling does not work on programs that use the ITIMER_PROF timer. -#if defined(__CYGWIN__) || defined(PWL_PROFILING) +#if defined(__CYGWIN__) || defined(__gnu_hurd__) || defined(PWL_PROFILING) #define THE_TIMER ITIMER_REAL #define THE_SIGNAL SIGALRM #else

1 0

[GIT] ppl/ppl(master): Proper spacing added to throw_syscall_error().
by Roberto Bagnara 04 Mar '10

04 Mar '10

Module: ppl/ppl Branch: master Commit: aeb2709a41cb3d3e55ef5a260abcbd6a3c746946 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=aeb2709a41cb… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Mar 3 22:07:01 2010 +0400 Proper spacing added to throw_syscall_error(). (Thanks to Michael Tautschnig.) --- Watchdog/src/Watchdog.cc | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/Watchdog/src/Watchdog.cc b/Watchdog/src/Watchdog.cc index 93449be..9a8e8c7 100644 --- a/Watchdog/src/Watchdog.cc +++ b/Watchdog/src/Watchdog.cc @@ -84,7 +84,7 @@ namespace { void throw_syscall_error(const char* syscall_name) { - throw std::runtime_error(std::string(syscall_name) + strerror(errno)); + throw std::runtime_error(std::string(syscall_name) + ": " + strerror(errno)); } void

1 0

Watchdog still not fully working on hurd
by Michael Tautschnig 03 Mar '10

03 Mar '10

Hi all, It seems that the setitimer function is not yet fully implemented on GNU/Hurd. Apparently ITIMER_PROF is still not implemented. I'd suggest two changes to Watchdog/src/Watchdog.cc: - add || defined(__gnu_hurd__) in line 51 - add whitespace when throwing std::runtime_error in line 87 Best, Michael

2 1

[GIT] ppl/ppl(sparse_matrices): New commits
by Roberto Bagnara 03 Mar '10

03 Mar '10

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9f3520aa836e… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Mar 2 22:34:22 2010 +0100 Sparse_Row_Reference: add operator=(const Sparse_Row&). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2b62cd035be8… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Mar 2 22:22:28 2010 +0100 Sparse_Row_Reference: return *this in operator=(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9f6134913d3d… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Mar 2 22:21:56 2010 +0100 Sparse_Row: add operator=(const Sparse_Row_Reference&). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5c1a6ed822f7… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Mar 2 22:14:50 2010 +0100 Sparse_Row: add copy constructor from Sparse_Row_Reference. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2cbaf6fb9a0a… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Mar 2 22:06:23 2010 +0100 Allow swapping a Sparse_Row with a Sparse_Row_Reference. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ac384ae419b7… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Mar 2 21:50:23 2010 +0100 Sparse_Row_Reference: renamed private member row_ into row, as in Sparse_Row. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a63b6d73ccce… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Mar 2 21:44:09 2010 +0100 Sparse_Row_Reference: added operator=(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e0ad96936049… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Mar 2 21:40:55 2010 +0100 Sparse_Row: added operator for conversion to Sparse_Row_Reference. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a4fb7a5ba213… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Mar 2 21:31:48 2010 +0100 Sparse_Matrix_Row: renamed class to Sparse_Row_Reference and moved it to Sparse_Row.* . URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=72d38cff085e… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Mar 2 19:05:26 2010 +0100 Sparse_Matrix, Sparse_Matrix_Row: add swap() function in namespace std. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2084f28fa4bb… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Mar 2 19:04:42 2010 +0100 Sparse_Matrix: add swap() method. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9dd41c39ce4d… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Mon Mar 1 21:31:10 2010 +0100 MIP_Problem: add assertion in linear_combine(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4c53cf4d15ce… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Mon Mar 1 11:55:56 2010 +0100 Unlimited_Sparse_Row: added assertions in two-argument find(), lower_bound() and upper_bound(). Added assertions in get2(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a463d0ee32c4… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Mon Mar 1 10:39:52 2010 +0100 MIP_Problem: implement correctly external_memory_in_bytes() for sparse matrices using the method with the same name in Sparse_Matrix. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e7c8ee1ae5c9… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Mon Mar 1 10:37:46 2010 +0100 Sparse_Matrix: add methods external_memory_in_bytes() and total_memory_in_bytes(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4cd0d28e030d… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Mon Mar 1 10:37:08 2010 +0100 Unlimited_Sparse_Row: add methods external_memory_in_bytes() and total_memory_in_bytes(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2831c52b6126… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Mon Mar 1 10:31:56 2010 +0100 Unlimited_Sparse_Row_Std_List_Backend: add methods external_memory_in_bytes() and total_memory_in_bytes(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=781cdb8e5e18… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Mon Mar 1 10:31:23 2010 +0100 Unlimited_Sparse_Row_Custom_Slist_Backend: add methods external_memory_in_bytes() and total_memory_in_bytes().

1 0

[GIT] ppl/ppl(master): Detected several overflows in tests 5 and 6 of digitalfilters1.cc.
by Enea Zaffanella 02 Mar '10

02 Mar '10

Module: ppl/ppl Branch: master Commit: e9c769a3992b86a941cbb9758c606bb20b253a69 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e9c769a3992b… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Tue Mar 2 22:09:29 2010 +0100 Detected several overflows in tests 5 and 6 of digitalfilters1.cc. --- tests/Floating_Point_Expression/digitalfilters1.cc | 4 ++-- 1 files changed, 2 insertions(+), 2 deletions(-) diff --git a/tests/Floating_Point_Expression/digitalfilters1.cc b/tests/Floating_Point_Expression/digitalfilters1.cc index 4212662..aca0002 100644 --- a/tests/Floating_Point_Expression/digitalfilters1.cc +++ b/tests/Floating_Point_Expression/digitalfilters1.cc @@ -984,7 +984,7 @@ BEGIN_MAIN DO_TEST_F8(test02); DO_TEST_F8(test03); DO_TEST_F32A(test04); - DO_TEST_F8(test05); - DO_TEST_F8(test06); + DO_TEST_F64(test05); + DO_TEST_F64(test06); DO_TEST_F64(test07); END_MAIN

1 0

[GIT] ppl/ppl(master): Adopted a more flexible implementation for the DO_TEST* macros.
by Enea Zaffanella 02 Mar '10

02 Mar '10

Module: ppl/ppl Branch: master Commit: b72c39080c692f646f93f5696312fd1ed371d539 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b72c39080c69… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Tue Mar 2 22:07:29 2010 +0100 Adopted a more flexible implementation for the DO_TEST* macros. (Based on a set of macros provided by Abramo Bagnara.) --- tests/ppl_test.hh | 393 ++++++++++++++++++++--------------------------------- 1 files changed, 146 insertions(+), 247 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=b72c3908…

1 0