add_executable(centralized_liveness centralized_liveness.c)
add_executable(centralized_liveness_deadlock centralized_liveness_deadlock.c)
add_executable(test_snapshot test_snapshot.c)
add_executable(centralized_liveness centralized_liveness.c)
add_executable(centralized_liveness_deadlock centralized_liveness_deadlock.c)
add_executable(test_snapshot test_snapshot.c)