From 98d2f4bc9ec0e7394f0c0e54f378353081193efe Mon Sep 17 00:00:00 2001 From: Gabriel Corona Date: Wed, 6 Apr 2016 14:15:02 +0200 Subject: [PATCH] [mc] Remove MC_state_remove_interleave_process() (not used) --- src/mc/mc_state.cpp | 6 ------ src/mc/mc_state.h | 1 - 2 files changed, 7 deletions(-) diff --git a/src/mc/mc_state.cpp b/src/mc/mc_state.cpp index a3420467a6..5967f1a3a3 100644 --- a/src/mc/mc_state.cpp +++ b/src/mc/mc_state.cpp @@ -69,12 +69,6 @@ void MC_state_interleave_process(simgrid::mc::State* state, smx_process_t proces 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) { diff --git a/src/mc/mc_state.h b/src/mc/mc_state.h index 95e1af979c..3fb62da892 100644 --- a/src/mc/mc_state.h +++ b/src/mc/mc_state.h @@ -124,6 +124,5 @@ XBT_PRIVATE void MC_state_set_executed_request(simgrid::mc::State* state, smx_si 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 -- 2.20.1