Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : initialize variables
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Fri, 31 May 2013 12:44:06 +0000 (14:44 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Fri, 31 May 2013 12:44:06 +0000 (14:44 +0200)
commit18618fc686c83dc040990e84e915739b2a5f0a79
treed733c183a91e07bf8226e4e92e9c89f4e780b022
parentd7f09767e1c69493afa04dce4b6ed1f2d77b966a
model-checker : initialize variables
src/mc/mc_checkpoint.c
src/mc/mc_dpor.c