send-recv-ok
irecv-isend-ok
lost-request-waitall
+ partial-recv
) # Passing (no deadlock) tests
set(umpire_tests_passing_broken
irecv-isend-ok2
- partial-recv
)
# These are supposed to deadlock but ISP does not find deadlock
include_directories(BEFORE "${CMAKE_HOME_DIRECTORY}/include/smpi")
foreach (test ${umpire_tests_passing} ${umpire_tests_deadlock} ${umpire_tests_problematic} )
- add_executable(${test} ${test}.c)
+ add_executable(${test} EXCLUDE_FROM_ALL ${test}.c)
+ add_dependencies(tests ${test})
target_link_libraries(${test} simgrid)
set_source_files_properties(${test}.c PROPERTIES COMPILE_FLAGS "-Dlint -Wno-error -Wno-return-type")
set(umpire_tesh ${umpire_tesh} ${test})