Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : move functions about snapshot comparison from mc_liveness to mc_check...
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Fri, 29 Jun 2012 08:17:29 +0000 (10:17 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Fri, 29 Jun 2012 13:18:05 +0000 (15:18 +0200)
commit21fce2eda21e3c3bea7a19630948ccd6ec64145f
tree0a06a0b1ffaac84f8b42c69e4ed5453dea992f87
parentf6271f778c143b683ef69760583a8f398dfcf446
model-checker : move functions about snapshot comparison from mc_liveness to mc_checkpoint and declare them static
src/mc/mc_checkpoint.c
src/mc/mc_liveness.c
src/mc/mc_private.h