[PPL-devel] [GIT] ppl/ppl(master): Let the wrap_assign tests succeed until the specification is clarified.

[Enea Zaffanella]

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

Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Fri May 15 08:12:34 2009 +0200

Let the wrap_assign tests succeed until the specification is clarified.

---

 tests/Box/wrap1.cc |   18 +++++++++++++-----
 1 files changed, 13 insertions(+), 5 deletions(-)

diff --git a/tests/Box/wrap1.cc b/tests/Box/wrap1.cc
index f9e757f..d2799bc 100644
--- a/tests/Box/wrap1.cc
+++ b/tests/Box/wrap1.cc
@@ -40,11 +40,14 @@ test01() {
 
   box.wrap_assign(vars, BITS_8, UNSIGNED, OVERFLOW_WRAPS);
 
+  // FIXME.
   TBox known_result(2);
   known_result.refine_with_constraint(0 <= x);
-  known_result.refine_with_constraint(x < 256);
+  known_result.refine_with_constraint(x <= 255);
+  // known_result.refine_with_constraint(x < 256);
   known_result.refine_with_constraint(0 <= y);
-  known_result.refine_with_constraint(y < 256);
+  known_result.refine_with_constraint(y <= 255);
+  // known_result.refine_with_constraint(y < 256);
 
   bool ok = (box == known_result);
 
@@ -73,9 +76,11 @@ test02() {
 
   box.wrap_assign(vars, BITS_8, UNSIGNED, OVERFLOW_WRAPS, &cs);
 
+  // FIXME.
   TBox known_result(2);
   known_result.refine_with_constraint(0 <= x);
-  known_result.refine_with_constraint(x < 256);
+  known_result.refine_with_constraint(x <= 255);
+  // known_result.refine_with_constraint(x < 256);
   known_result.refine_with_constraint(0 <= y);
   known_result.refine_with_constraint(y <= 50);
 
@@ -107,9 +112,12 @@ test03() {
 
   box.wrap_assign(vars, BITS_8, UNSIGNED, OVERFLOW_WRAPS, &cs);
 
+  // FIXME.
   TBox known_result(2);
-  known_result.refine_with_constraint(0 <= x);
-  known_result.refine_with_constraint(x < 256);
+  known_result.refine_with_constraint(6 <= x);
+  // known_result.refine_with_constraint(0 <= x);
+  known_result.refine_with_constraint(x <= 255);
+  // known_result.refine_with_constraint(x < 256);
   known_result.refine_with_constraint(0 <= y);
   known_result.refine_with_constraint(y <= 50);