Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : fix dpor algorithm if max depth reached
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Mon, 10 Dec 2012 15:35:42 +0000 (16:35 +0100)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Mon, 10 Dec 2012 15:35:51 +0000 (16:35 +0100)
commite13dac70099e758d38fc15778b6f427139c981bb
tree240155fa7fd5eeacd584fa141b7736f18fca9851
parente45e8271d467f31bff14c5370f28069c23de6039
model-checker : fix dpor algorithm if max depth reached
src/mc/mc_dpor.c