refactor(interval): move interval unit tests to tests/util/interval

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>

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)

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;
 

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;
 

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;