From 2c97c5ef3be01a819e6b0012511f6268d3208799 Mon Sep 17 00:00:00 2001 From: Marion Guthmuller Date: Fri, 6 Jul 2012 15:45:40 +0200 Subject: [PATCH] model-checker : remove unnecessary take_snapshot for initial state --- src/mc/mc_dpor.c | 3 --- 1 file changed, 3 deletions(-) diff --git a/src/mc/mc_dpor.c b/src/mc/mc_dpor.c index ac406184ee..3c56d0d478 100644 --- a/src/mc/mc_dpor.c +++ b/src/mc/mc_dpor.c @@ -39,9 +39,6 @@ void MC_dpor_init() } } - initial_state->system_state = xbt_new0(s_mc_snapshot_t, 1); - MC_take_snapshot(initial_state->system_state); - xbt_fifo_unshift(mc_stack_safety, initial_state); MC_UNSET_RAW_MEM; -- 2.20.1