xbt_fifo_t mc_stack_liveness_stateless = NULL;
mc_snapshot_t initial_snapshot_liveness = NULL;
+xbt_automaton_t automaton;
+char *prog_name;
/**
* \brief Initialize the model-checker data structures
MC_UNSET_RAW_MEM;
- MC_ddfs_stateless_init(a, prgm);
+ automaton = a;
+ prog_name = strdup(prgm);
+
+ MC_ddfs_stateless_init();
}