Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : intermediate backtracking with model-check/checkpoint cfg flag
authorMarion Guthmuller <marion.guthmuller@inria.fr>
Mon, 9 Feb 2015 18:37:14 +0000 (19:37 +0100)
committerMarion Guthmuller <marion.guthmuller@inria.fr>
Mon, 9 Feb 2015 18:40:38 +0000 (19:40 +0100)
commitadcfb1a36dc3a193da6b595829fef2d7f4c9a4dd
treeeb45d990246d294d0aed0cf43103baf286c91968
parent00efa36e829e34b5052058bc12c9061ebaab0f90
model-checker : intermediate backtracking with model-check/checkpoint cfg flag
src/mc/mc_global.c
src/mc/mc_pair.c
src/mc/mc_private.h
src/mc/mc_safety.c
src/mc/mc_safety.h
src/mc/mc_state.c
src/mc/mc_state.h
src/mc/mc_visited.c