add_executable(bugged1_liveness bugged1_liveness.c)
add_executable(bugged2_liveness bugged2_liveness.c)
add_executable(chord/chord_liveness chord/chord_liveness.c)
add_executable(bugged1_liveness bugged1_liveness.c)
add_executable(bugged2_liveness bugged2_liveness.c)
add_executable(chord/chord_liveness chord/chord_liveness.c)