Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : fix soundness of DPOR algorithm if max depth is reached
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Thu, 21 Mar 2013 12:41:21 +0000 (13:41 +0100)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Thu, 21 Mar 2013 12:41:54 +0000 (13:41 +0100)
commit84c0bdd5d7ca6061f968338a071501e4d4d9a084
tree074d9935d00dec8200ec9b3b52e6127505fc4d8a
parent05d68dfc42e0a317bba0cdbf0a346376aa7652ee
model-checker : fix soundness of DPOR algorithm if max depth is reached
src/mc/mc_dpor.c
src/mc/mc_global.c
src/mc/mc_private.h