[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