[PPL-devel] [GIT] ppl/ppl(products): Added two tests based on the examples 5(a), 5(b) in SenS07.

[Patricia Hill]

Module: ppl/ppl
Branch: products
Commit: 7d519208391e933089c023ddf4d29e1b8b50f9c7
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7d519208391e933089c023ddf4d29e1b8b50f9c7

Author: Patricia Hill <p.m.hill at leeds.ac.uk>
Date:   Thu May 14 21:20:06 2009 +0100

Added two tests based on the examples 5(a), 5(b) in SenS07.

Added print_constraints(const Affine_Space&) to ppl_test.

---

 .../constraintsproduct1.cc                         |  248 ++++++++++++++++++--
 tests/ppl_test.cc                                  |    6 +
 tests/ppl_test.hh                                  |    5 +
 3 files changed, 241 insertions(+), 18 deletions(-)

Diff:   http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=7d519208391e933089c023ddf4d29e1b8b50f9c7