[PPL-devel] [GIT] ppl/ppl(master): Corrected a typo in the known result of a wrap_assign test.

[Enea Zaffanella]

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

Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Tue May 19 13:44:06 2009 +0200

Corrected a typo in the known result of a wrap_assign test.
(Please, double check that it was indeed a typo.)

---

 tests/Polyhedron/wrap1.cc |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)

diff --git a/tests/Polyhedron/wrap1.cc b/tests/Polyhedron/wrap1.cc
index e8077a7..63aa5ca 100644
--- a/tests/Polyhedron/wrap1.cc
+++ b/tests/Polyhedron/wrap1.cc
@@ -587,7 +587,7 @@ test20() {
   ph.wrap_assign(vars, BITS_8, UNSIGNED, OVERFLOW_WRAPS, &cs, 16, false);
 
   C_Polyhedron known_result(2);
-  known_result.add_constraint(2*x >= 0);
+  known_result.add_constraint(2*x >= 1);
   known_result.add_constraint(3*x <= 2);
   known_result.add_constraint(y >= 0);
   known_result.add_constraint(y <= 1);