Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : handle waitany simcall
authorMarion Guthmuller <marion.guthmuller@inria.fr>
Tue, 13 May 2014 16:18:36 +0000 (18:18 +0200)
committerMarion Guthmuller <marion.guthmuller@inria.fr>
Tue, 13 May 2014 16:18:36 +0000 (18:18 +0200)
commit85bde9428d7b222a626c2dcc547b2a827d384ee4
tree632dc1df9e5ca2fdc5e2069586dd33a02da75df2
parentd31d76a99df6b4a2d086509df2a70e7e2601a813
model-checker : handle waitany simcall
src/mc/mc_dpor.c
src/mc/mc_global.c