From ccba04075e204f7f41d4bc26db5aca11744b4e38 Mon Sep 17 00:00:00 2001 From: Gabriel Corona Date: Tue, 17 Mar 2015 14:39:09 +0100 Subject: [PATCH] [mc] mc_checkpoint.c, remove some TODOs --- src/mc/mc_checkpoint.c | 2 -- 1 file changed, 2 deletions(-) diff --git a/src/mc/mc_checkpoint.c b/src/mc/mc_checkpoint.c index 3d92e45243..672895e969 100644 --- a/src/mc/mc_checkpoint.c +++ b/src/mc/mc_checkpoint.c @@ -559,7 +559,6 @@ static xbt_dynar_t MC_take_snapshot_stacks(mc_snapshot_t * snapshot) } -// FIXME, cross-process support (mc_heap_comparison_ignore) static xbt_dynar_t MC_take_snapshot_ignore() { @@ -600,7 +599,6 @@ static void MC_snapshot_handle_ignore(mc_snapshot_t snapshot) // Copy the memory: unsigned int cursor = 0; mc_checkpoint_ignore_region_t region; - // FIXME, cross-process support (mc_checkpoint_ignore) xbt_dynar_foreach (mc_model_checker->process.checkpoint_ignore, cursor, region) { s_mc_snapshot_ignored_data_t ignored_data; ignored_data.start = region->addr; -- 2.20.1