state->processStates[process->pid].interleave_count = 0;
}
-void MC_state_remove_interleave_process(simgrid::mc::State* state, smx_process_t process)
-{
- if (state->processStates[process->pid].state == simgrid::mc::ProcessInterleaveState::interleave)
- state->processStates[process->pid].state = simgrid::mc::ProcessInterleaveState::done;
-}
-
void MC_state_set_executed_request(simgrid::mc::State* state, smx_simcall_t req,
int value)
{
XBT_PRIVATE smx_simcall_t MC_state_get_executed_request(simgrid::mc::State* state, int *value);
XBT_PRIVATE smx_simcall_t MC_state_get_internal_request(simgrid::mc::State* state);
XBT_PRIVATE smx_simcall_t MC_state_get_request(simgrid::mc::State* state, int *value);
-XBT_PRIVATE void MC_state_remove_interleave_process(simgrid::mc::State* state, smx_process_t process);
#endif