From: Augustin Degomme <degomme@wasabi>
Date: Mon, 10 Sep 2018 11:39:29 +0000 (+0200)
Subject: Allow insertion of time inside gettimeofday and clock_gettime
X-Git-Tag: v3_21~112^2
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/098b6beb025164bc7226f11ccf32ee5b3fa9fbb2?hp=098b6beb025164bc7226f11ccf32ee5b3fa9fbb2

Allow insertion of time inside gettimeofday and clock_gettime
Done with --cfg=smpi/wtime, which was previously only for MPI_Wtime.
This should avoid some infinite loops. Keep 0 as default for now.
---