[PPL-devel] [GIT] ppl/ppl(floating_point): Removed a test file.

[Fabio Bossi]

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

Author: Fabio Bossi <bossi at cs.unipr.it>
Date:   Fri Jul 30 10:49:47 2010 +0200

Removed a test file.

---

 tests/Concrete_Expression/Makefile.am |    3 --
 tests/Concrete_Expression/float.cc    |   44 ---------------------------------
 2 files changed, 0 insertions(+), 47 deletions(-)

diff --git a/tests/Concrete_Expression/Makefile.am b/tests/Concrete_Expression/Makefile.am
index ead3d19..3c64827 100644
--- a/tests/Concrete_Expression/Makefile.am
+++ b/tests/Concrete_Expression/Makefile.am
@@ -52,7 +52,6 @@ $(top_builddir)/src/libppl.la \
 
 ORIGINAL_TESTS = \
 C_Expr \
-float \
 linearform1 \
 linearize
 #bdshape1 \
@@ -140,8 +139,6 @@ bdshape2_SOURCES = bdshape2.cc
 
 digitalfilters1_SOURCES = digitalfilters1.cc
 
-float_SOURCES = float.cc
-
 floatingpointexpr1_SOURCES = floatingpointexpr1.cc
 
 linearform1_SOURCES = linearform1.cc
diff --git a/tests/Concrete_Expression/float.cc b/tests/Concrete_Expression/float.cc
deleted file mode 100644
index 7506993..0000000
--- a/tests/Concrete_Expression/float.cc
+++ /dev/null
@@ -1,44 +0,0 @@
-/* Test function compute_absolute_error.
-   Copyright (C) 2001-2010 Roberto Bagnara <bagnara at cs.unipr.it>
-
-This file is part of the Parma Polyhedra Library (PPL).
-
-The PPL is free software; you can redistribute it and/or modify it
-under the terms of the GNU General Public License as published by the
-Free Software Foundation; either version 3 of the License, or (at your
-option) any later version.
-
-The PPL is distributed in the hope that it will be useful, but WITHOUT
-ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
-FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
-for more details.
-
-You should have received a copy of the GNU General Public License
-along with this program; if not, write to the Free Software Foundation,
-Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02111-1307, USA.
-
-For the most up-to-date information see the Parma Polyhedra Library
-site: http://www.cs.unipr.it/ppl/ . */
-
-#include "ppl_test.hh"
-
-namespace {
-
-using namespace Parma_Polyhedra_Library::IO_Operators;
-
-bool
-test01() {
-  std::cout << compute_absolute_error<FP_Interval>(ANALYZED_FP_FORMAT) <<
-  std::endl;
-
-  std::cout << compute_absolute_error<FP_Interval>(ANALYZED_FP_FORMAT) <<
-  std::endl;
-
-  return 1;
-}
-
-}
-
-BEGIN_MAIN
-  DO_TEST(test01);
-END_MAIN