X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/27f768c6fbe663c6de000473c44a61222b77d481..564a883b3d816d2c5d227f5311d248ef799b5190:/src/mc/Process.cpp

diff --git a/src/mc/Process.cpp b/src/mc/Process.cpp
index ed5880b0ca..2e510676db 100644
--- a/src/mc/Process.cpp
+++ b/src/mc/Process.cpp
@@ -701,5 +701,12 @@ void Process::ignore_local_variable(const char *var_name, const char *frame_name
     info->remove_local_variable(var_name, frame_name);
 }
 
+boost::iterator_range<s_mc_smx_process_info*> Process::simix_processes()
+{
+  xbt_assert(mc_mode != MC_MODE_CLIENT);
+  MC_process_smx_refresh(&mc_model_checker->process());
+  return simgrid::xbt::range<s_mc_smx_process_info>(smx_process_infos);
+}
+
 }
 }