Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : new command line flag (model-check/timeout) to enable/disable timeout...
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Thu, 8 Nov 2012 16:00:53 +0000 (17:00 +0100)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Thu, 8 Nov 2012 16:00:53 +0000 (17:00 +0100)
commit3bb8fa4450ae1fcb7bbad80b92f907e831469711
tree173ef128042802a15092939fd4651d2bb8cb1f30
parent97697743eca3a39982ea5d42539aa53f8acdaebb
model-checker : new command line flag (model-check/timeout) to enable/disable timeout for wait requests with model-checking
src/include/mc/mc.h
src/mc/mc_global.c
src/mc/mc_private.h
src/surf/surf_config.c
src/xbt/xbt_main.c