From: Gabriel Corona <gabriel.corona@loria.fr>
Date: Tue, 17 Mar 2015 13:39:09 +0000 (+0100)
Subject: [mc] mc_checkpoint.c, remove some TODOs
X-Git-Tag: v3_12~732^2~96
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/ccba04075e204f7f41d4bc26db5aca11744b4e38

[mc] mc_checkpoint.c, remove some TODOs
---

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;