target_link_libraries(mc/bugged1 simgrid)
target_link_libraries(mc/bugged2 simgrid)
target_link_libraries(mc/bugged1_liveness simgrid)
target_link_libraries(mc/send_deterministic simgrid)
target_link_libraries(mc/non_deterministic simgrid)
target_link_libraries(mc/bugged1 simgrid)
target_link_libraries(mc/bugged2 simgrid)
target_link_libraries(mc/bugged1_liveness simgrid)
target_link_libraries(mc/send_deterministic simgrid)
target_link_libraries(mc/non_deterministic simgrid)