[PPL-devel] [GIT] ppl/ppl(floating_point): Added new test.

[Roberto Amadini]

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

Author: Roberto Amadini <r.amadini at virgilio.it>
Date:   Tue Sep 15 15:16:05 2009 +0200

Added new test.

---

 tests/Floating_Point_Expression/affineimage3.cc |   28 +++++++++++++++++++---
 1 files changed, 24 insertions(+), 4 deletions(-)

diff --git a/tests/Floating_Point_Expression/affineimage3.cc b/tests/Floating_Point_Expression/affineimage3.cc
index cb619a5..d1ab707 100644
--- a/tests/Floating_Point_Expression/affineimage3.cc
+++ b/tests/Floating_Point_Expression/affineimage3.cc
@@ -34,8 +34,7 @@ test01() {
   oc1.add_constraint(A <= 2);
   oc1.add_constraint(A - B <= 3);
   oc1.add_constraint(B <= 2);
-  Octagonal_Shape<float> oc2(3);
-
+  print_constraints(oc1, "*** oc1  ***");
   fl_r_oc free_term(-2);
   free_term.join_assign(1);
   Linear_Form<fl_r_oc> l(free_term);
@@ -53,12 +52,32 @@ test01() {
   return ok;
 }
 
-/*
+
 // tests affine_image(A, [-1, -1]*A)
 bool test02() {
-  return true;
+  Variable A(0);
+  Variable B(1);
+
+  Octagonal_Shape<float> oc1(3);
+  oc1.add_constraint(A <= 2);
+  oc1.add_constraint(A - B <= 3);
+  oc1.add_constraint(B <= 2);
+  Linear_Form<fl_r_oc> l(-A);
+  oc1.affine_image(A, l);
+  print_constraints(oc1, "*** oc1.affine_image(A, [-1, -1]*A) ***");
+
+  Octagonal_Shape<float> known_result(3);
+  known_result.add_constraint(A >= -2);
+  known_result.add_constraint(B <= 2);
+  known_result.add_constraint(B - A <= 4);
+  print_constraints(known_result, "*** known_result ***");
+
+  bool ok = (oc1 == known_result);
+
+  return ok;
 }
 
+/*
 // tests affine_image(A, [-1, 1]*B)
 bool test03() {
   return true;
@@ -74,4 +93,5 @@ bool test04() {
 
 BEGIN_MAIN
   DO_TEST(test01);
+  DO_TEST(test02);
 END_MAIN