Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : enable WaitTimeout requests only if cfg flag model-check/timeout:1
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Thu, 8 Nov 2012 16:19:53 +0000 (17:19 +0100)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Thu, 8 Nov 2012 16:19:53 +0000 (17:19 +0100)
commita183bb2523e9b08d1c10114d109bd1b57dd15471
tree3be35a930b96a65ecd63df84d555f79727e3085f
parent3bb8fa4450ae1fcb7bbad80b92f907e831469711
model-checker : enable WaitTimeout requests only if cfg flag model-check/timeout:1
src/mc/mc_request.c