[mc] Remote support for filling state->internal_comm

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

diff --git a/src/mc/mc_model_checker.h b/src/mc/mc_model_checker.h
index 45790f3..0b07e8e 100644 (file)
--- a/src/mc/mc_model_checker.h
+++ b/src/mc/mc_model_checker.h
@@ -41,6 +41,13 @@ struct s_mc_model_checker {
 mc_model_checker_t MC_model_checker_new(pid_t pid, int socket);
 void MC_model_checker_delete(mc_model_checker_t mc);
 
+static inline
+int MC_smx_get_maxpid(void)
+{
+  // Currently we use the same variable in STANDALONE and in SERVER mode:
+  return simix_process_maxpid;
+}
+
 SG_END_DECL()
 
 #endif