model-checker : remove local variable only if frame name is known

diff --git a/src/mc/mc_global.c b/src/mc/mc_global.c
index c3c6539..d67f00d 100644 (file)
--- a/src/mc/mc_global.c
+++ b/src/mc/mc_global.c
@@ -1027,9 +1027,11 @@ void MC_ignore_stack(const char *var_name, const char *frame_name){
 
   if(mc_local_variables != NULL){
 
-    dw_frame_t frame = xbt_dict_get_or_null(mc_local_variables, frame_name);
-    if(frame != NULL)
-      xbt_dict_remove(frame->variables, var_name);
+    if(strcmp(frame_name, "*") != 0){
+      dw_frame_t frame = xbt_dict_get_or_null(mc_local_variables, frame_name);
+      if(frame != NULL)
+        xbt_dict_remove(frame->variables, var_name);
+    }
 
   }