add_executable(level level.cpp)
target_link_libraries(level "library" "kernel" "util" ${EXTRA_LIBS})
add_test(level ${CMAKE_CURRENT_BINARY_DIR}/level)
add_executable(expr expr.cpp)
target_link_libraries(expr "library" "kernel" "util" ${EXTRA_LIBS})
add_test(expr ${CMAKE_CURRENT_BINARY_DIR}/expr)
add_executable(max_sharing max_sharing.cpp)
target_link_libraries(max_sharing "kernel" "library" "util" ${EXTRA_LIBS})
add_test(max_sharing ${CMAKE_CURRENT_BINARY_DIR}/max_sharing)
add_executable(free_vars free_vars.cpp)
target_link_libraries(free_vars "kernel" "util" ${EXTRA_LIBS})
add_test(free_vars ${CMAKE_CURRENT_BINARY_DIR}/free_vars)
add_executable(replace replace.cpp)
target_link_libraries(replace "library"  "kernel" "util" ${EXTRA_LIBS})
add_test(replace ${CMAKE_CURRENT_BINARY_DIR}/replace)
add_executable(environment environment.cpp)
target_link_libraries(environment "library" "kernel" "util" ${EXTRA_LIBS})
add_test(environment ${CMAKE_CURRENT_BINARY_DIR}/environment)
add_executable(metavar metavar.cpp)
target_link_libraries(metavar "library" "kernel" "util" ${EXTRA_LIBS})
add_test(metavar ${CMAKE_CURRENT_BINARY_DIR}/metavar)
add_executable(instantiate instantiate.cpp)
target_link_libraries(instantiate "kernel" "util" ${EXTRA_LIBS})
add_test(instantiate ${CMAKE_CURRENT_BINARY_DIR}/instantiate)
