Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : initialize variables
[simgrid.git] / src / mc / mc_dpor.c
index a943e9e..a8abd69 100644 (file)
@@ -246,7 +246,7 @@ void MC_dpor_init()
 void MC_dpor(void)
 {
 
-  char *req_str;
+  char *req_str = NULL;
   int value;
   smx_simcall_t req = NULL, prev_req = NULL;
   mc_state_t state = NULL, prev_state = NULL, next_state = NULL, restore_state=NULL;