
Module: ppl/ppl Branch: master Commit: 464f7b65bde5166d2ac665289389f2b0c92a1c54 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=464f7b65bde51...
Author: Enea Zaffanella enea.zaffanella@bugseng.com Date: Sun Mar 3 15:42:56 2013 +0100
Activate a couple of tests that were ignored.
---
tests/Box/refinewithcongruences1.cc | 14 +++++++------- 1 files changed, 7 insertions(+), 7 deletions(-)
diff --git a/tests/Box/refinewithcongruences1.cc b/tests/Box/refinewithcongruences1.cc index e94e270..3f4a8d0 100644 --- a/tests/Box/refinewithcongruences1.cc +++ b/tests/Box/refinewithcongruences1.cc @@ -122,7 +122,8 @@ test05() { cgs.insert(B %= 0); cgs.insert(C %= 7);
- TBox box(cgs); + TBox box(3); + box.refine_with_congruences(cgs);
TBox box1(box.congruences());
@@ -147,16 +148,13 @@ test06() { Congruence_System cgs; cgs.insert((A %= 7) / 0); cgs.insert((B %= 3) / 0); - // This inconsistent equality is ignored when congruences - // are added to the box. cgs.insert((A + B %= 0) / 0); cgs.insert(C %= 7);
- TBox box(cgs); + TBox box(3); + box.refine_with_congruences(cgs);
- Rational_Box known_result(3); - known_result.add_constraint(A == 7); - known_result.add_constraint(B == 3); + Rational_Box known_result(3, EMPTY);
bool ok = check_result(box, known_result);
@@ -376,6 +374,8 @@ BEGIN_MAIN DO_TEST(test02); DO_TEST(test03); DO_TEST(test04); + DO_TEST(test05); + DO_TEST(test06); DO_TEST(test07); DO_TEST(test08); DO_TEST(test09);