diff --git a/src/tests/kernel/CMakeLists.txt b/src/tests/kernel/CMakeLists.txt
index 2d76352e5..56478bfc3 100644
--- a/src/tests/kernel/CMakeLists.txt
+++ b/src/tests/kernel/CMakeLists.txt
@@ -7,6 +7,9 @@ add_test(diff_cnstrs ${CMAKE_CURRENT_BINARY_DIR}/diff_cnstrs)
 add_executable(expr expr.cpp)
 target_link_libraries(expr ${EXTRA_LIBS})
 add_test(expr ${CMAKE_CURRENT_BINARY_DIR}/expr)
+add_executable(max_sharing max_sharing.cpp)
+target_link_libraries(max_sharing ${EXTRA_LIBS})
+add_test(max_sharing ${CMAKE_CURRENT_BINARY_DIR}/max_sharing)
 # add_executable(normalizer normalizer.cpp)
 # target_link_libraries(normalizer ${EXTRA_LIBS})
 # add_test(normalizer ${CMAKE_CURRENT_BINARY_DIR}/normalizer)
diff --git a/src/tests/library/max_sharing.cpp b/src/tests/kernel/max_sharing.cpp
similarity index 100%
rename from src/tests/library/max_sharing.cpp
rename to src/tests/kernel/max_sharing.cpp
diff --git a/src/tests/library/CMakeLists.txt b/src/tests/library/CMakeLists.txt
index 962d336e3..bdd1c60e7 100644
--- a/src/tests/library/CMakeLists.txt
+++ b/src/tests/library/CMakeLists.txt
@@ -1,9 +1,6 @@
 # add_executable(formatter formatter.cpp)
 # target_link_libraries(formatter ${EXTRA_LIBS})
 # add_test(formatter ${CMAKE_CURRENT_BINARY_DIR}/formatter)
-add_executable(max_sharing max_sharing.cpp)
-target_link_libraries(max_sharing ${EXTRA_LIBS})
-add_test(max_sharing ${CMAKE_CURRENT_BINARY_DIR}/max_sharing)
 add_executable(expr_lt expr_lt.cpp)
 target_link_libraries(expr_lt ${EXTRA_LIBS})
 add_test(expr_lt ${CMAKE_CURRENT_BINARY_DIR}/expr_lt)