Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Kill never implemented option "model-check/snapshot_fds".
authorArnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Fri, 3 May 2019 10:15:47 +0000 (12:15 +0200)
committerArnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Fri, 3 May 2019 12:27:39 +0000 (14:27 +0200)
commitc65a2fd02f74c12e469150dfbae04366f4be484c
treef743a2a5cea82ea2ef4a9e9272f6469bbf13c33b
parent7aa058f61406a26cf8ff9f1a04bfca254c775c62
Kill never implemented option "model-check/snapshot_fds".
src/mc/mc_config.cpp
src/mc/mc_config.hpp
src/mc/sosp/mc_checkpoint.cpp
src/mc/sosp/mc_snapshot.hpp
src/smpi/include/private.hpp
src/smpi/internals/smpi_memory.cpp