Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : Add statistics about comparison times for each pair reached:
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Mon, 12 Nov 2012 16:20:41 +0000 (17:20 +0100)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Mon, 12 Nov 2012 16:35:23 +0000 (17:35 +0100)
commite6842da5013c7598839024360b268d17c5c9d72a
tree45329d244ef829b1bff6000bb6d1a3189edc86bc
parent15e1163e6cc44cd33e6bac01003189d11c6402c6
model-checker : Add statistics about comparison times for each pair reached:

- if debug log enabled for mc_compare:
  - number of comparisons done with this pair
  - for each comparison step : number of different states, comparison times (average, max, min)
- otherwise
  - number of comparisons done with this pair
  - snapshot comparison times (stopped when the first difference is detected)
src/mc/mc_compare.c
src/mc/mc_global.c
src/mc/mc_liveness.c
src/mc/mc_private.h
src/simix/smx_smurf.c