add_executable(random_test random_test.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(random_test random_test.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)