Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : new cfg command line flag (model-check/max_depth) for max depth of...
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Tue, 13 Nov 2012 14:12:35 +0000 (15:12 +0100)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Tue, 13 Nov 2012 14:13:19 +0000 (15:13 +0100)
commita8909d621db9ae5690144cbe00fc0589c8ac26c8
tree2aaa818aaf89ade1c7b9a32596b7cb397e9e0149
parent4f3a160841e4b3ad438549814da64aa62c114f45
model-checker : new cfg command line flag (model-check/max_depth) for max depth of exploration (default value is 1000)
src/include/mc/mc.h
src/mc/mc_dpor.c
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