Module: ppl/ppl Branch: master Commit: a3804165053e07f0ccd2de728932480ed0b58f68 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a3804165053e0...

Author: Patricia Hill p.m.hill@leeds.ac.uk Date: Tue Apr 13 16:26:15 2010 +0100

Added further tests for the termination methods.

---

...face_generator_prolog_generated_test_pl_code.m4 | 112 +++++++++++++ tests/Polyhedron/Makefile.am | 3 + tests/Polyhedron/termination1.cc | 11 ++ tests/Polyhedron/termination2.cc | 165 ++++++++++++++++++++ 4 files changed, 291 insertions(+), 0 deletions(-)

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