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

Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Mon Apr 5 18:26:47 2010 +0200

Added known results for a couple of tests.

---

tests/BD_Shape/dropsomenonintegerpoints1.cc | 24 ++++++++++++++++++------ 1 files changed, 18 insertions(+), 6 deletions(-)

diff --git a/tests/BD_Shape/dropsomenonintegerpoints1.cc b/tests/BD_Shape/dropsomenonintegerpoints1.cc index 2a085b5..296300d 100644 --- a/tests/BD_Shape/dropsomenonintegerpoints1.cc +++ b/tests/BD_Shape/dropsomenonintegerpoints1.cc @@ -152,7 +152,7 @@ test06() { Variable A(0); Variable B(1);

- BD_Shape<mpq_class>bds(2); + BD_Shape<mpq_class> bds(2); bds.add_constraint(2*A <= 1); bds.add_constraint(2*B <= -1); bds.add_constraint(4*A - 4*B <= 7); @@ -161,7 +161,12 @@ test06() {

bds.drop_some_non_integer_points();

- bool ok = true; //(bds1 == bds2); + BD_Shape<mpq_class> known_result(2); + known_result.add_constraint(A <= 0); + known_result.add_constraint(B <= -1); + known_result.add_constraint(A - B <= 1); + + bool ok = (bds == known_result);

print_constraints(bds, "*** after bds.drop_some_non_integer_points() ***");

@@ -192,7 +197,8 @@ test07() {

bool ok = (bds == known_result);

- print_constraints(bds, "*** after bds.drop_some_non_integer_points() ***"); + print_constraints(bds, + "*** after bds.drop_some_non_integer_points(varset_A) ***");

return ok; } @@ -309,7 +315,7 @@ test12() { Variables_Set varset_A; varset_A.insert(A);

- BD_Shape<mpq_class>bds(2); + BD_Shape<mpq_class> bds(2); bds.add_constraint(2*A <= 1); bds.add_constraint(2*B <= -1); bds.add_constraint(4*A - 4*B <= 7); @@ -318,9 +324,15 @@ test12() {

bds.drop_some_non_integer_points(varset_A);

- bool ok = true; //(bds1 == bds2); + BD_Shape<mpq_class> known_result(2); + known_result.add_constraint(A <= 0); + known_result.add_constraint(2*B <= -1); + known_result.add_constraint(4*A - 4*B <= 7);

- print_constraints(bds, "*** after bds.drop_some_non_integer_points() ***"); + bool ok = (bds == known_result); + + print_constraints(bds, + "*** after bds.drop_some_non_integer_points(varset_A) ***");

return ok; }