Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (from: 098b6be)
Allow insertion of time inside gettimeofday and clock_gettime
authorAugustin Degomme <degomme@wasabi>
Mon, 10 Sep 2018 11:39:29 +0000 (13:39 +0200)
committerAugustin Degomme <degomme@wasabi>
Mon, 10 Sep 2018 11:39:29 +0000 (13:39 +0200)
Done with --cfg=smpi/wtime, which was previously only for MPI_Wtime.
This should avoid some infinite loops. Keep 0 as default for now.


No differences found
Clone of SimGrid repository with local patches