X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/ec063df4a961d3c60ccca6afc0209fca1b061f9f..208924f0b511eb55c98c74a56a9d9e6b7430c370:/src/include/mc/mc.h diff --git a/src/include/mc/mc.h b/src/include/mc/mc.h index bf7593a923..d4c01ffd6b 100644 --- a/src/include/mc/mc.h +++ b/src/include/mc/mc.h @@ -32,6 +32,8 @@ XBT_PUBLIC(void) MC_exit(void); XBT_PUBLIC(void) MC_assert(int); XBT_PUBLIC(void) MC_modelcheck(void); XBT_PUBLIC(int) MC_random(int, int); +XBT_PUBLIC(void) MC_process_clock_add(smx_process_t, double); +XBT_PUBLIC(double) MC_process_clock_get(smx_process_t); /********************************* Memory *************************************/ XBT_PUBLIC(void) MC_memory_init(void); /* Initialize the memory subsystem */