set(library_tst_objs ${LEAN_OBJS})
add_executable(expr_lt expr_lt.cpp ${library_tst_objs})
target_link_libraries(expr_lt ${EXTRA_LIBS})
add_exec_test(expr_lt "expr_lt")
add_executable(deep_copy deep_copy.cpp ${library_tst_objs})
target_link_libraries(deep_copy ${EXTRA_LIBS})
add_exec_test(deep_copy "deep_copy")
add_executable(occurs occurs.cpp ${library_tst_objs})
target_link_libraries(occurs ${EXTRA_LIBS})
add_exec_test(occurs "occurs")
add_executable(head_map head_map.cpp ${library_tst_objs})
target_link_libraries(head_map ${EXTRA_LIBS})
add_exec_test(head_map "head_map")
add_executable(delayed_abstraction delayed_abstraction.cpp ${library_tst_objs})
target_link_libraries(delayed_abstraction ${EXTRA_LIBS})
add_exec_test(delayed_abstraction "delayed_abstraction")
