target_link_libraries(bugged3 simgrid m )
target_link_libraries(random_test simgrid m )
target_link_libraries(example_liveness_without_cycle simgrid m )
target_link_libraries(bugged3 simgrid m )
target_link_libraries(random_test simgrid m )
target_link_libraries(example_liveness_without_cycle simgrid m )