My bad. There may be no process at all, hence, surf_solve may not be called, hence...

diff --git a/src/simix/smx_global.c b/src/simix/smx_global.c
index faa20af..5b8984b 100644 (file)
--- a/src/simix/smx_global.c
+++ b/src/simix/smx_global.c
@@ -329,12 +329,14 @@ void SIMIX_run(void)
     }
 
     /* Autorestart all process */
-    char *hostname = NULL;
-    xbt_dynar_foreach(host_that_restart,iter,hostname) {
-      XBT_INFO("Restart processes on host: %s",hostname);
-      SIMIX_host_autorestart(SIMIX_host_get_by_name(hostname));
+    if(host_that_restart) {
+      char *hostname = NULL;
+      xbt_dynar_foreach(host_that_restart,iter,hostname) {
+        XBT_INFO("Restart processes on host: %s",hostname);
+        SIMIX_host_autorestart(SIMIX_host_get_by_name(hostname));
+      }
+      xbt_dynar_reset(host_that_restart);
     }
-    xbt_dynar_reset(host_that_restart);
 
     /* Clean processes to destroy */
     SIMIX_process_empty_trash();