-add_executable(example_liveness_without_cycle automaton.c
-automatonparse_promela.c example_liveness_without_cycle.c)
-add_executable(example2_liveness_without_cycle automaton.c
-automatonparse_promela.c
-example2_liveness_without_cycle.c)
+add_executable(bugged1_liveness automaton.c automatonparse_promela.c bugged1_liveness.c)
+add_executable(bugged2_liveness automaton.c automatonparse_promela.c bugged2_liveness.c)
+add_executable(centralized_liveness automaton.c automatonparse_promela.c centralized_liveness.c)
+