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