move testsuite to tests/solver and add core unit tests

diff --git a/CMakeLists.txt b/CMakeLists.txt
index b05ac19a381aef05e22d380d72bb96ea1c2cafe3..6ce2f94bf193a8c8f4e54efe9a71a043a70c34cc 100644 (file)
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -120,7 +120,7 @@ set ( CMAKE_C_FLAGS_DEBUG     "${CMAKE_C_FLAGS} -g3 -O0" )
 ADD_SUBDIRECTORY(src)
 ADD_SUBDIRECTORY(tools)
 ADD_SUBDIRECTORY(applayer)
-ADD_SUBDIRECTORY(testsuite)
+ADD_SUBDIRECTORY(tests)
 
 IF ( NOT SWIG_EXECUTABLE )
   MESSAGE( FATAL "SWIG not found." )