[PPL-devel] [GIT] ppl/ppl(bounded_arithmetic): Deleted white space.

Alberto Gioia alberto.gioia1 at studenti.unipr.it
Sun Jul 10 20:23:46 CEST 2011


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

Author: Alberto Gioia <alberto.gioia1 at studenti.unipr.it>
Date:   Sun Jul 10 20:23:17 2011 +0200

Deleted white space.

---

 tests/Concrete_Expression/digitalfilters1.cc |   10 +++++-----
 1 files changed, 5 insertions(+), 5 deletions(-)

diff --git a/tests/Concrete_Expression/digitalfilters1.cc b/tests/Concrete_Expression/digitalfilters1.cc
index d0fcf3e..8b4d9fa 100644
--- a/tests/Concrete_Expression/digitalfilters1.cc
+++ b/tests/Concrete_Expression/digitalfilters1.cc
@@ -49,7 +49,7 @@ public:
   }
 
   bool get_integer_constant_value(const Integer_Constant<C_Expr>&,
-                             FP_Interval&) const { 
+                             FP_Interval&) const {
     return false;
   }
 
@@ -76,7 +76,7 @@ public:
     result = expr.dimensions;
     return true;
   }
-  
+
   FP_Interval_Abstract_Store int_store;
 };
 
@@ -556,7 +556,7 @@ test05() {
     tmp.lower() = 0;
     tmp.upper() = 16;
     oracle.int_store.affine_form_image(D, FP_Linear_Form(tmp));
-    bd.affine_form_image(D, FP_Linear_Form(tmp));    
+    bd.affine_form_image(D, FP_Linear_Form(tmp));
     oracle.int_store.intersection_assign(FP_Interval_Abstract_Store(bd));
 
     // S = Y;
@@ -765,7 +765,7 @@ test06() {
     tmp.lower() = 0;
     tmp.upper() = 16;
     oracle.int_store.affine_form_image(D, FP_Linear_Form(tmp));
-    oc.affine_form_image(D, FP_Linear_Form(tmp));    
+    oc.affine_form_image(D, FP_Linear_Form(tmp));
     oracle.int_store.intersection_assign(FP_Interval_Abstract_Store(oc));
 
     // S = Y;
@@ -974,7 +974,7 @@ test07() {
     tmp.lower() = 0;
     tmp.upper() = 16;
     oracle.int_store.affine_form_image(D, FP_Linear_Form(tmp));
-    ph.affine_form_image(D, FP_Linear_Form(tmp));    
+    ph.affine_form_image(D, FP_Linear_Form(tmp));
     oracle.int_store.intersection_assign(FP_Interval_Abstract_Store(ph));
 
     // S = Y;




More information about the PPL-devel mailing list