add_executable(mc/send_deterministic mc/send_deterministic.c)
add_executable(mc/non_deterministic mc/non_deterministic.c)
add_executable(mc/mutual_exclusion mc/mutual_exclusion.c)
add_executable(mc/send_deterministic mc/send_deterministic.c)
add_executable(mc/non_deterministic mc/non_deterministic.c)
add_executable(mc/mutual_exclusion mc/mutual_exclusion.c)