Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : save and restore file descriptors
authorMarion Guthmuller <marion.guthmuller@inria.fr>
Tue, 4 Nov 2014 10:39:56 +0000 (11:39 +0100)
committerMarion Guthmuller <marion.guthmuller@inria.fr>
Tue, 4 Nov 2014 10:40:18 +0000 (11:40 +0100)
commit42d8a4dc6763b3a784a72cb6842dfd1f5115d2a0
tree146e3fc55a16136cd4528a2293a4494cac18730d
parente6d758250bd8385d4b760cb989fb0e03b6f6303b
model-checker : save and restore file descriptors
src/mc/mc_checkpoint.c
src/mc/mc_private.h