add_executable(random_test random_test.c)
target_link_libraries(centralized simgrid m -fprofile-arcs)
target_link_libraries(bugged1 simgrid m -fprofile-arcs)
target_link_libraries(bugged2 simgrid m -fprofile-arcs)
add_executable(random_test random_test.c)
target_link_libraries(centralized simgrid m -fprofile-arcs)
target_link_libraries(bugged1 simgrid m -fprofile-arcs)
target_link_libraries(bugged2 simgrid m -fprofile-arcs)