[PPL-devel] [GIT] ppl/ppl(products): Corrected test as already corrected in the master branch.

[Patricia Hill]

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

Author: Patricia Hill <p.m.hill at leeds.ac.uk>
Date:   Thu Jul  9 14:30:29 2009 +0100

Corrected test as already corrected in the master branch.

---

 tests/Box/congruences1.cc |    6 ++----
 1 files changed, 2 insertions(+), 4 deletions(-)

diff --git a/tests/Box/congruences1.cc b/tests/Box/congruences1.cc
index 39158d0..ed1be18 100644
--- a/tests/Box/congruences1.cc
+++ b/tests/Box/congruences1.cc
@@ -142,16 +142,14 @@ test06() {
   Congruence_System cgs;
   cgs.insert((A %= 7) / 0);
   cgs.insert((B %= 3) / 0);
-  // This inconsistent equality is ignored when refining.
+  // This inconsistent equality is not ignored when refining.
   cgs.insert((A + B %= 0) / 0);
   cgs.insert(C %= 7);
 
   TBox box(cgs.space_dimension(), UNIVERSE);
   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);