Module: ppl/ppl Branch: master Commit: 2b365a8a6b1dbb0b69a6997f0ca4bc14921c35ef URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2b365a8a6b1db... Author: Enea Zaffanella <zaffanella@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 ***");