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