this example needs to forcefully destroy the VMs

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

diff --git a/src/mc/mc_model_checker.c b/src/mc/mc_model_checker.c
index 9482e45..98aa299 100644 (file)
--- a/src/mc/mc_model_checker.c
+++ b/src/mc/mc_model_checker.c
@@ -28,3 +28,14 @@ void MC_model_checker_delete(mc_model_checker_t mc)
   MC_process_clear(&mc->process);
   xbt_dict_free(&mc->hosts);
 }
+
+unsigned long MC_smx_get_maxpid(void)
+{
+  if (mc_mode == MC_MODE_STANDALONE)
+    return simix_process_maxpid;
+
+  unsigned long maxpid;
+  MC_process_read_variable(&mc_model_checker->process, "simix_process_maxpid",
+    &maxpid, sizeof(maxpid));
+  return maxpid;
+}