summary |
shortlog |
log |
commit | commitdiff |
tree
raw |
patch |
inline | side by side (from parent 1:
043ae88)
Missing attribute, and remove dead code.
SG_BEGIN_DECL()
/********************************* Global *************************************/
SG_BEGIN_DECL()
/********************************* Global *************************************/
-XBT_PUBLIC void MC_run();
+XBT_ATTRIB_NORETURN XBT_PUBLIC void MC_run();
XBT_PUBLIC void MC_process_clock_add(smx_actor_t, double);
XBT_PUBLIC double MC_process_clock_get(smx_actor_t);
XBT_PRIVATE void MC_automaton_load(const char *file);
XBT_PUBLIC void MC_process_clock_add(smx_actor_t, double);
XBT_PUBLIC double MC_process_clock_get(smx_actor_t);
XBT_PRIVATE void MC_automaton_load(const char *file);
case MC_MESSAGE_ASSERTION_FAILED:
MC_report_assertion_error();
this->exit(SIMGRID_MC_EXIT_SAFETY);
case MC_MESSAGE_ASSERTION_FAILED:
MC_report_assertion_error();
this->exit(SIMGRID_MC_EXIT_SAFETY);
default:
xbt_die("Unexpected message from model-checked application");
default:
xbt_die("Unexpected message from model-checked application");
MC_ignore_heap(simgrid::mc::processes_time.data(),
simgrid::mc::processes_time.size() * sizeof(simgrid::mc::processes_time[0]));
simgrid::mc::Client::get()->mainLoop();
MC_ignore_heap(simgrid::mc::processes_time.data(),
simgrid::mc::processes_time.size() * sizeof(simgrid::mc::processes_time[0]));
simgrid::mc::Client::get()->mainLoop();
- simgrid::mc::processes_time.clear();
}
void MC_show_deadlock()
}
void MC_show_deadlock()