Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : fix DPOR with timeout
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Mon, 5 Aug 2013 13:12:22 +0000 (15:12 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Mon, 5 Aug 2013 13:12:22 +0000 (15:12 +0200)
commit5032998904d77b72c4dc7658a3d29b90341e6b46
tree280c0522610cd039352f1d49efb6e5a3e7005be1
parentda5ec3007bc7d61ff26b9fe4c100f87779c502ce
model-checker : fix DPOR with timeout
src/mc/mc_request.c