[PPL-devel] [GIT] ppl/ppl(products): Test changed so as to be meaningful for all integer types.
Patricia Hill
p.m.hill at leeds.ac.uk
Mon Mar 15 17:35:14 CET 2010
Module: ppl/ppl
Branch: products
Commit: 367f75cf57a1576f54c0bf553c714e838d8c1773
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=367f75cf57a1576f54c0bf553c714e838d8c1773
Author: Patricia Hill <p.m.hill at leeds.ac.uk>
Date: Mon Mar 15 16:27:50 2010 +0000
Test changed so as to be meaningful for all integer types.
Comment typos fixed.
---
src/BD_Shape.defs.hh | 4 ++--
src/Box.defs.hh | 4 ++--
src/Octagonal_Shape.defs.hh | 4 ++--
src/Polyhedron.defs.hh | 4 ++--
tests/Box/frequency1.cc | 6 +++---
5 files changed, 11 insertions(+), 11 deletions(-)
diff --git a/src/BD_Shape.defs.hh b/src/BD_Shape.defs.hh
index 2b3100f..2375211 100644
--- a/src/BD_Shape.defs.hh
+++ b/src/BD_Shape.defs.hh
@@ -766,11 +766,11 @@ public:
The denominator of the maximum frequency of \p expr;
\param val_n
- The numerator of a value of \p expr at a point in the grid
+ The numerator of a value of \p expr at a point in the bd_shape
that is closest to zero;
\param val_d
- The denominator of a value of \p expr at a point in the grid
+ The denominator of a value of \p expr at a point in the bd_shape
that is closest to zero;
\exception std::invalid_argument
diff --git a/src/Box.defs.hh b/src/Box.defs.hh
index 8ed2680..55f5aab 100644
--- a/src/Box.defs.hh
+++ b/src/Box.defs.hh
@@ -697,11 +697,11 @@ public:
The denominator of the maximum frequency of \p expr;
\param val_n
- The numerator of a value of \p expr at a point in the grid
+ The numerator of a value of \p expr at a point in the box
that is closest to zero;
\param val_d
- The denominator of a value of \p expr at a point in the grid
+ The denominator of a value of \p expr at a point in the box
that is closest to zero;
\exception std::invalid_argument
diff --git a/src/Octagonal_Shape.defs.hh b/src/Octagonal_Shape.defs.hh
index 06bdc14..6f59b71 100644
--- a/src/Octagonal_Shape.defs.hh
+++ b/src/Octagonal_Shape.defs.hh
@@ -854,11 +854,11 @@ public:
The denominator of the maximum frequency of \p expr;
\param val_n
- The numerator of a value of \p expr at a point in the grid
+ The numerator of a value of \p expr at a point in the octagonal shape
that is closest to zero;
\param val_d
- The denominator of a value of \p expr at a point in the grid
+ The denominator of a value of \p expr at a point in the octagonal shape
that is closest to zero;
\exception std::invalid_argument
diff --git a/src/Polyhedron.defs.hh b/src/Polyhedron.defs.hh
index 8d8679c..52f6bb2 100644
--- a/src/Polyhedron.defs.hh
+++ b/src/Polyhedron.defs.hh
@@ -779,11 +779,11 @@ public:
The denominator of the maximum frequency of \p expr;
\param val_n
- The numerator of a value of \p expr at a point in the grid
+ The numerator of a value of \p expr at a point in the polyhedron
that is closest to zero;
\param val_d
- The denominator of a value of \p expr at a point in the grid
+ The denominator of a value of \p expr at a point in the polyhedron
that is closest to zero;
\exception std::invalid_argument
diff --git a/tests/Box/frequency1.cc b/tests/Box/frequency1.cc
index 9b03553..b64be53 100644
--- a/tests/Box/frequency1.cc
+++ b/tests/Box/frequency1.cc
@@ -180,8 +180,8 @@ test08() {
TBox box(3);
box.add_constraint(A == 1);
box.add_constraint(2*B == -1);
- box.add_constraint(3*C == 2);
- box.add_constraint(B <= 2);
+ box.add_constraint(2*C == 1);
+ box.add_constraint(B <= 4);
Coefficient num;
Coefficient den;
@@ -189,7 +189,7 @@ test08() {
Coefficient vald;
bool ok = (box.frequency(Linear_Expression(A - B + C + 1),
num, den, valn, vald)
- && num == 0 && den == 1 && valn == 19 && vald == 6);
+ && num == 0 && den == 1 && valn == 3 && vald == 1);
print_constraints(box, "*** box ***");
nout << "valn " << valn << ", vald " << vald << endl;
More information about the PPL-devel
mailing list