target_link_libraries(centralized_liveness simgrid m )
target_link_libraries(centralized_liveness_deadlock simgrid m )
target_link_libraries(test_snapshot simgrid m )
target_link_libraries(centralized_liveness simgrid m )
target_link_libraries(centralized_liveness_deadlock simgrid m )
target_link_libraries(test_snapshot simgrid m )