Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 71f071b) | patch
[mc] Rename replay() function to restoreState()
authorGabriel Corona <gabriel.corona@loria.fr>
Thu, 14 Apr 2016 12:23:01 +0000 (14:23 +0200)
committerGabriel Corona <gabriel.corona@loria.fr>
Thu, 14 Apr 2016 12:23:21 +0000 (14:23 +0200)
commit0563f70508b46dff06649ad8795d3793d7a46c49
tree205fd8529c5717fce1ed2fbdd10435613de025d2tree | snapshot
parent71f071bb10968ac0d3c4ed606a7225d9447d9034commit | diff
[mc] Rename replay() function to restoreState()

because sometimes we restore the state without replaying anything.
src/mc/CommunicationDeterminismChecker.cpp diff | blob | history
src/mc/SafetyChecker.cpp diff | blob | history
src/mc/mc_global.cpp diff | blob | history
src/mc/mc_state.h diff | blob | history
Clone of SimGrid repository with local patches