From 93d4466d06189e03e5b14d0df44b2ecacb0b0063 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Mon, 21 Oct 2013 18:17:34 -0700 Subject: [PATCH] refactor(interval): move interval unit tests to tests/util/interval Signed-off-by: Leonardo de Moura --- src/CMakeLists.txt | 2 +- src/tests/{ => util}/interval/CMakeLists.txt | 0 src/tests/{ => util}/interval/check.h | 0 src/tests/{ => util}/interval/double_interval.cpp | 2 +- src/tests/{ => util}/interval/float_interval.cpp | 2 +- src/tests/{ => util}/interval/interval.cpp | 0 src/tests/{ => util}/interval/mpfp_interval.cpp | 2 +- 7 files changed, 4 insertions(+), 4 deletions(-) rename src/tests/{ => util}/interval/CMakeLists.txt (100%) rename src/tests/{ => util}/interval/check.h (100%) rename src/tests/{ => util}/interval/double_interval.cpp (99%) rename src/tests/{ => util}/interval/float_interval.cpp (99%) rename src/tests/{ => util}/interval/interval.cpp (100%) rename src/tests/{ => util}/interval/mpfp_interval.cpp (99%) diff --git a/src/CMakeLists.txt b/src/CMakeLists.txt index 7d3c4d3fb5..8408437629 100644 --- a/src/CMakeLists.txt +++ b/src/CMakeLists.txt @@ -143,7 +143,7 @@ set(EXTRA_LIBS ${LEAN_LIBS} ${EXTRA_LIBS}) add_subdirectory(shell) add_subdirectory(tests/util) add_subdirectory(tests/util/numerics) -add_subdirectory(tests/interval) +add_subdirectory(tests/util/interval) add_subdirectory(tests/kernel) add_subdirectory(tests/library) add_subdirectory(tests/library/rewriter) diff --git a/src/tests/interval/CMakeLists.txt b/src/tests/util/interval/CMakeLists.txt similarity index 100% rename from src/tests/interval/CMakeLists.txt rename to src/tests/util/interval/CMakeLists.txt diff --git a/src/tests/interval/check.h b/src/tests/util/interval/check.h similarity index 100% rename from src/tests/interval/check.h rename to src/tests/util/interval/check.h diff --git a/src/tests/interval/double_interval.cpp b/src/tests/util/interval/double_interval.cpp similarity index 99% rename from src/tests/interval/double_interval.cpp rename to src/tests/util/interval/double_interval.cpp index d100e02718..0f6381f7c7 100644 --- a/src/tests/interval/double_interval.cpp +++ b/src/tests/util/interval/double_interval.cpp @@ -8,7 +8,7 @@ Author: Soonho Kong #include "util/trace.h" #include "util/numerics/double.h" #include "util/interval/interval.h" -#include "tests/interval/check.h" +#include "tests/util/interval/check.h" using namespace lean; diff --git a/src/tests/interval/float_interval.cpp b/src/tests/util/interval/float_interval.cpp similarity index 99% rename from src/tests/interval/float_interval.cpp rename to src/tests/util/interval/float_interval.cpp index e6f62f7958..a3b0c00b87 100644 --- a/src/tests/interval/float_interval.cpp +++ b/src/tests/util/interval/float_interval.cpp @@ -8,7 +8,7 @@ Author: Soonho Kong #include "util/trace.h" #include "util/numerics/float.h" #include "util/interval/interval.h" -#include "tests/interval/check.h" +#include "tests/util/interval/check.h" using namespace lean; diff --git a/src/tests/interval/interval.cpp b/src/tests/util/interval/interval.cpp similarity index 100% rename from src/tests/interval/interval.cpp rename to src/tests/util/interval/interval.cpp diff --git a/src/tests/interval/mpfp_interval.cpp b/src/tests/util/interval/mpfp_interval.cpp similarity index 99% rename from src/tests/interval/mpfp_interval.cpp rename to src/tests/util/interval/mpfp_interval.cpp index 206f3fc554..a2fa2446d6 100644 --- a/src/tests/interval/mpfp_interval.cpp +++ b/src/tests/util/interval/mpfp_interval.cpp @@ -8,7 +8,7 @@ Author: Soonho Kong #include "util/trace.h" #include "util/numerics/mpfp.h" #include "util/interval/interval.h" -#include "tests/interval/check.h" +#include "tests/util/interval/check.h" using namespace lean;