Module: ppl/ppl Branch: master Commit: d88f590328ae2f751caa062ca4c9ba43bd7d633d URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d88f590328ae2... Author: Roberto Bagnara <bagnara@cs.unipr.it> Date: Sun May 3 10:34:20 2009 +0200 Debugging print statement added. --- tests/Octagonal_Shape/wrap1.cc | 2 ++ 1 files changed, 2 insertions(+), 0 deletions(-) diff --git a/tests/Octagonal_Shape/wrap1.cc b/tests/Octagonal_Shape/wrap1.cc index a1a14d7..502b2e9 100644 --- a/tests/Octagonal_Shape/wrap1.cc +++ b/tests/Octagonal_Shape/wrap1.cc @@ -39,6 +39,8 @@ test01() { oct.wrap_assign(vars, BITS_8, UNSIGNED, OVERFLOW_WRAPS); + print_constraints(oct, "*** oct.wrap_assign() ***"); + TOctagonal_Shape known_result(2); known_result.refine_with_constraint(x >= 0); known_result.refine_with_constraint(x <= 255);