mc_snapshot_t initial_snapshot_liveness = NULL;
xbt_automaton_t automaton;
-char *prog_name;
-static void MC_init_liveness(xbt_automaton_t a, char *prgm);
+static void MC_init_liveness(xbt_automaton_t a);
static void MC_assert_pair(int prop);
}
-static void MC_init_liveness(xbt_automaton_t a, char *prgm){
+static void MC_init_liveness(xbt_automaton_t a){
XBT_DEBUG("Start init mc");
MC_UNSET_RAW_MEM;
automaton = a;
- prog_name = strdup(prgm);
MC_ddfs_init();
}
-void MC_modelcheck_liveness(xbt_automaton_t a, char *prgm){
- MC_init_liveness(a, prgm);
+void MC_modelcheck_liveness(xbt_automaton_t a){
+ MC_init_liveness(a);
MC_exit_liveness();
}