[PPL-devel] [GIT] ppl/ppl(master): Known result adapted to increased Box constructor precision.

[Enea Zaffanella]

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

Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Tue May 12 20:42:40 2009 +0200

Known result adapted to increased Box constructor precision.

---

 tests/Partially_Reduced_Product/directproduct6.cc |   16 ++++++----------
 1 files changed, 6 insertions(+), 10 deletions(-)

diff --git a/tests/Partially_Reduced_Product/directproduct6.cc b/tests/Partially_Reduced_Product/directproduct6.cc
index bb6d5f6..769fe6e 100644
--- a/tests/Partially_Reduced_Product/directproduct6.cc
+++ b/tests/Partially_Reduced_Product/directproduct6.cc
@@ -541,17 +541,13 @@ test18() {
 
   TBox_Grid ndp(ph);
 
-  TBox_Grid known_ndp(2);
-  known_ndp.refine_with_constraint(3*x >= -2);
-  known_ndp.refine_with_constraint(x <= 4);
-  known_ndp.refine_with_constraint(y >= -10);
-  known_ndp.refine_with_constraint(y <= 4);
+  TBox_Grid known_dp(2);
+  known_dp.refine_with_constraint(3*x >= -2);
+  known_dp.refine_with_constraint(x <= 4);
+  known_dp.refine_with_constraint(y >= -10);
+  known_dp.refine_with_constraint(y <= 4);
 
-  TBox_Grid known_pdp(2);
-  known_pdp.refine_with_constraint(x <= 4);
-  known_pdp.refine_with_constraint(y <= 4);
-
-  bool ok = (ndp == known_ndp && pdp == known_pdp && pdp.contains(ndp));
+  bool ok = (ndp == known_dp && pdp == known_dp);
 
   print_constraints(ph, "*** ph ***");
   print_constraints(ndp, "*** ndp ***");