Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : store last visited states during exploration
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Thu, 15 Nov 2012 16:08:26 +0000 (17:08 +0100)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Thu, 15 Nov 2012 19:40:45 +0000 (20:40 +0100)
commitc6189d1b7b02cda083791afc98f7e632100424d5
tree40d7bd5cc041bbe41edda23e4063339f68043dc6
parent5b1e363f764347ddf3e895a6b58529c2036a1f24
model-checker : store last visited states during exploration

  - new cfg flag : model-check/stateful -> indicates how many visited states stored (default value : 10)
  - if a state has been already visited, backtracking
src/include/mc/mc.h
src/mc/mc_global.c
src/mc/mc_liveness.c
src/mc/mc_private.h
src/surf/surf_config.c
src/xbt/xbt_main.c