[PPL-devel] [GIT] ppl/ppl(bounded_arithmetic): Removed unnecessary and incorrect file.

[Alberto Gioia]

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

Author: Alberto Gioia <alberto.gioi1 at studenti.unipr.it>
Date:   Fri Jun 24 17:19:26 2011 +0200

Removed unnecessary and incorrect file.

---

 tests/Concrete_Expression/Number_Conversion.cc |   28 ------------------------
 tests/Concrete_Expression/Number_Convertion.cc |   28 ------------------------
 2 files changed, 0 insertions(+), 56 deletions(-)

diff --git a/tests/Concrete_Expression/Number_Conversion.cc b/tests/Concrete_Expression/Number_Conversion.cc
deleted file mode 100644
index 2d87e49..0000000
--- a/tests/Concrete_Expression/Number_Conversion.cc
+++ /dev/null
@@ -1,28 +0,0 @@
-void reverse(char *reversed) {
-  char tmp;
-  for (int i = 0, j = strlen(reversed)-1; i<j; i++, j--) {
-    tmp = reversed[i];
-    reversed[i] = reversed[j];
-    reversed[j] = tmp;
-  }
-}
-
-char *itoa(int number) {
-  bool neg=number<0?true:false;
-  number=number<0?-number:number;
-  int length = (int)(log10(number))+1;
-  int i=0;
-  char *s = new char[length];
-  do {
-    s[i++] = number % 10 + '0';
-  } while ((number /= 10) > 0);
-  if (neg){
-    s[i] = '-';
-    s[++i] = '\0';
-  }
-  else
-    s[i] = '\0';
-  reverse(s);
-  return s;
-}
-
diff --git a/tests/Concrete_Expression/Number_Convertion.cc b/tests/Concrete_Expression/Number_Convertion.cc
deleted file mode 100644
index 2d87e49..0000000
--- a/tests/Concrete_Expression/Number_Convertion.cc
+++ /dev/null
@@ -1,28 +0,0 @@
-void reverse(char *reversed) {
-  char tmp;
-  for (int i = 0, j = strlen(reversed)-1; i<j; i++, j--) {
-    tmp = reversed[i];
-    reversed[i] = reversed[j];
-    reversed[j] = tmp;
-  }
-}
-
-char *itoa(int number) {
-  bool neg=number<0?true:false;
-  number=number<0?-number:number;
-  int length = (int)(log10(number))+1;
-  int i=0;
-  char *s = new char[length];
-  do {
-    s[i++] = number % 10 + '0';
-  } while ((number /= 10) > 0);
-  if (neg){
-    s[i] = '-';
-    s[++i] = '\0';
-  }
-  else
-    s[i] = '\0';
-  reverse(s);
-  return s;
-}
-