Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : factorize code for safety and liveness model-checking
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Thu, 15 Nov 2012 22:54:34 +0000 (23:54 +0100)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Thu, 15 Nov 2012 22:54:34 +0000 (23:54 +0100)
commitda09e6cbf4e0213856897ac754430c7bf6beecee
tree36109fc02073ca629a0c91df7d16f153b5853b41
parent864cdc455e38de68e3666a03e17d5a4cb0d7acaf
model-checker : factorize code for safety and liveness model-checking

- same function for checkpointing : MC_take_snapshot
- MC_init : dwarf parsing and init memory map info
- add visited states storage for safety model checking
src/include/mc/mc.h
src/mc/mc_checkpoint.c
src/mc/mc_dpor.c
src/mc/mc_global.c
src/mc/mc_liveness.c
src/mc/mc_private.h
src/simix/smx_smurf.c