Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : more debug information
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Mon, 30 Jan 2012 12:38:50 +0000 (13:38 +0100)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Mon, 30 Jan 2012 12:38:50 +0000 (13:38 +0100)
commit51d131097a7c4ea252bb8c66851656c88c5083af
treef993464ce0d26b61b964bf171d771a068d5aba7a
parent350f5a1112fad1d38efb016e582d96d3eb4a4d79
model-checker : more debug information
src/mc/mc_checkpoint.c