model-checker : ignore new variables

[simgrid.git] / src / mc / mc_compare.c

diff --git a/src/mc/mc_compare.c b/src/mc/mc_compare.c
index 0604d0e..2174d45 100644 (file)
--- a/src/mc/mc_compare.c
+++ b/src/mc/mc_compare.c
@@ -617,6 +617,8 @@ static int compare_stack(stack_region_t s1, stack_region_t s2, void *sp1, void *
 }
 
 int MC_compare_snapshots(void *s1, void *s2){
 }
 
 int MC_compare_snapshots(void *s1, void *s2){

+  
+  MC_ignore_stack("self", "simcall_BODY_mc_snapshot");

 
   return simcall_mc_compare_snapshots(s1, s2);
 
 
   return simcall_mc_compare_snapshots(s1, s2);