Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: cd6e349) | patch
mc_api::restore_state() is defined, it is used in SafetyChecker::restore_state()...
authorEhsan Azimi <eazimi@ehsan.irisa.fr>
Mon, 30 Nov 2020 08:31:18 +0000 (09:31 +0100)
committerEhsan Azimi <eazimi@ehsan.irisa.fr>
Mon, 30 Nov 2020 08:31:18 +0000 (09:31 +0100)
commita1ec880151037546a6165b658d59316d2366ccf0
tree318ffbf08546554565dfe7df0a0332aa5cb8fba6tree | snapshot
parentcd6e349b7eb8f7fda93eceaff8244e3f9b3e32d0commit | diff
mc_api::restore_state() is defined, it is used in SafetyChecker::restore_state() and CommunicationDeterminismChecker::restoreState()
src/mc/checker/CommunicationDeterminismChecker.cpp diff | blob | history
src/mc/checker/SafetyChecker.cpp diff | blob | history
src/mc/mc_api.cpp diff | blob | history
src/mc/mc_api.hpp diff | blob | history
Clone of SimGrid repository with local patches