From e45e8271d467f31bff14c5370f28069c23de6039 Mon Sep 17 00:00:00 2001 From: Marion Guthmuller Date: Mon, 10 Dec 2012 16:34:25 +0100 Subject: [PATCH] model-checker : restore previous version of MC_state_set_executed_request, fixed with commit 87d50bb063f2937d73b984bed011fef018a761e2 --- src/mc/mc_state.c | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/src/mc/mc_state.c b/src/mc/mc_state.c index c1808d1a02..4ed8dc7646 100644 --- a/src/mc/mc_state.c +++ b/src/mc/mc_state.c @@ -86,7 +86,7 @@ void MC_state_set_executed_request(mc_state_t state, smx_simcall_t req, int valu state->internal_req.call = SIMCALL_COMM_WAIT; state->internal_req.issuer = req->issuer; state->internal_comm = *xbt_dynar_get_as(simcall_comm_waitany__get__comms(req), value, smx_action_t); - simcall_comm_wait__set__comm(&state->internal_req, xbt_dynar_get_as(simcall_comm_waitany__get__comms(req), value, smx_action_t)); + simcall_comm_wait__set__comm(&state->internal_req, &state->internal_comm); simcall_comm_wait__set__timeout(&state->internal_req, 0); break; @@ -104,15 +104,15 @@ void MC_state_set_executed_request(mc_state_t state, smx_simcall_t req, int valu case SIMCALL_COMM_WAIT: state->internal_req = *req; state->internal_comm = *(simcall_comm_wait__get__comm(req)); - simcall_comm_wait__set__comm(&state->executed_req, simcall_comm_wait__get__comm(req)); - simcall_comm_wait__set__comm(&state->internal_req, simcall_comm_wait__get__comm(req)); + simcall_comm_wait__set__comm(&state->executed_req, &state->internal_comm); + simcall_comm_wait__set__comm(&state->internal_req, &state->internal_comm); break; case SIMCALL_COMM_TEST: state->internal_req = *req; state->internal_comm = *simcall_comm_test__get__comm(req); - simcall_comm_test__set__comm(&state->executed_req, simcall_comm_test__get__comm(req)); - simcall_comm_test__set__comm(&state->internal_req, simcall_comm_test__get__comm(req)); + simcall_comm_test__set__comm(&state->executed_req, &state->internal_comm); + simcall_comm_test__set__comm(&state->internal_req, &state->internal_comm); break; default: -- 2.20.1