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

Author: Roberto Bagnara bagnara@cs.unipr.it Date: Mon Mar 19 13:31:42 2012 +0100

Text revised.

---

tests/README | 4 ++-- 1 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/tests/README b/tests/README index c26fdc9..82826d1 100644 --- a/tests/README +++ b/tests/README @@ -5,8 +5,8 @@ See below for the copying conditions. How To Use the Test Programs (If You Really Want To Use Them) =============================================================

-The programs in this directory are part of the test suite of the Parma -Polyhedra Library (PPL). They have various origins: +The programs in this directory are part of the extensive test suite of +the Parma Polyhedra Library (PPL). They have various origins:

1) some have been written to test the expressivity of the library; 2) some have been written to reproduce bugs that have now been fixed;