return 1;
}
}
- if(mmalloc_compare_heap(s1->regions[i]->data, s2->regions[i]->data, std_heap)){
+ if(mmalloc_compare_heap(s1->regions[i]->data, s2->regions[i]->data)){
if(XBT_LOG_ISENABLED(mc_liveness, xbt_log_priority_debug)){
XBT_DEBUG("Different heap (mmalloc_compare)");
errors++;
unsigned int cursor = 0;
xbt_propositional_symbol_t ps = NULL;
xbt_dynar_foreach(automaton->propositional_symbols, cursor, ps){
- f = ps->function;
+ f = (int (*)())ps->function;
res = (*f)();
xbt_dynar_push_as(prop_ato, int, res);
}
int (*f)();
xbt_dynar_foreach(automaton->propositional_symbols, cursor, ps){
- f = ps->function;
+ f = (int (*)())ps->function;
res = (*f)();
xbt_dynar_push_as(pair->prop_ato, int, res);
}
int (*f)();
xbt_dynar_foreach(automaton->propositional_symbols, cursor, ps){
- f = ps->function;
+ f = (int (*)())ps->function;
res = (*f)();
xbt_dynar_push_as(prop_ato, int, res);
}
int (*f)();
xbt_dynar_foreach(automaton->propositional_symbols, cursor, ps){
- f = ps->function;
+ f = (int (*)())ps->function;
res = (*f)();
xbt_dynar_push_as(pair->prop_ato, int, res);
}
int (*f)();
xbt_dynar_foreach(automaton->propositional_symbols, cursor, ps){
- f = ps->function;
+ f = (int (*)())ps->function;
res = (*f)();
xbt_dynar_push_as(prop_ato, int, res);
}
int (*f)();
xbt_dynar_foreach(automaton->propositional_symbols, cursor, ps){
- f = ps->function;
+ f = (int (*)())ps->function;
res = (*f)();
xbt_dynar_push_as(prop_ato, int, res);
}
int (*f)();
xbt_dynar_foreach(automaton->propositional_symbols, cursor, ps){
- f = ps->function;
+ f = (int (*)())ps->function;
res = (*f)();
xbt_dynar_push_as(pair->prop_ato, int, res);
}
int (*f)();
xbt_dynar_foreach(automaton->propositional_symbols, cursor, ps){
- f = ps->function;
+ f = (int (*)())ps->function;
res = (*f)();
xbt_dynar_push_as(pair->prop_ato, int, res);
}
int (*f)();
xbt_dynar_foreach(automaton->propositional_symbols, cursor, p){
if(strcmp(p->pred, l->u.predicat) == 0){
- f = p->function;
+ f = (int (*)())p->function;
return (*f)();
}
}