set(kernel_tst_objs $<TARGET_OBJECTS:util> $<TARGET_OBJECTS:library> $<TARGET_OBJECTS:kernel> $<TARGET_OBJECTS:quotient> $<TARGET_OBJECTS:hits> $<TARGET_OBJECTS:inductive> $<TARGET_OBJECTS:sexpr> $<TARGET_OBJECTS:numerics>)
add_executable(level level.cpp ${kernel_tst_objs})
target_link_libraries(level ${EXTRA_LIBS})
add_test(level "${CMAKE_CURRENT_BINARY_DIR}/level")
add_executable(expr expr.cpp ${kernel_tst_objs})
target_link_libraries(expr ${EXTRA_LIBS})
add_test(expr "${CMAKE_CURRENT_BINARY_DIR}/expr")
add_executable(max_sharing max_sharing.cpp ${kernel_tst_objs})
target_link_libraries(max_sharing ${EXTRA_LIBS})
add_test(max_sharing "${CMAKE_CURRENT_BINARY_DIR}/max_sharing")
add_executable(free_vars free_vars.cpp ${kernel_tst_objs})
target_link_libraries(free_vars ${EXTRA_LIBS})
add_test(free_vars "${CMAKE_CURRENT_BINARY_DIR}/free_vars")
add_executable(replace replace.cpp ${kernel_tst_objs})
target_link_libraries(replace ${EXTRA_LIBS})
add_test(replace "${CMAKE_CURRENT_BINARY_DIR}/replace")
add_executable(environment environment.cpp ${kernel_tst_objs})
target_link_libraries(environment ${EXTRA_LIBS})
add_test(environment "${CMAKE_CURRENT_BINARY_DIR}/environment")
add_executable(metavar metavar.cpp ${kernel_tst_objs})
target_link_libraries(metavar ${EXTRA_LIBS})
add_test(metavar "${CMAKE_CURRENT_BINARY_DIR}/metavar")
add_executable(instantiate instantiate.cpp ${kernel_tst_objs})
target_link_libraries(instantiate ${EXTRA_LIBS})
add_test(instantiate "${CMAKE_CURRENT_BINARY_DIR}/instantiate")
