Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : add min and max values for MC_RANDOM simcall
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Sat, 10 Aug 2013 10:27:52 +0000 (12:27 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Sat, 10 Aug 2013 10:38:01 +0000 (12:38 +0200)
commitec3bf45915829f16601f4a221afff11f7bf0a138
treea1110e89c26bae5437179ae7b0bc972e7a3d3f11
parent53cbd5e910532d42818e595e277e18143bebee6e
model-checker : add min and max values for MC_RANDOM simcall
include/simgrid/modelchecker.h
include/simgrid/simix.h
src/mc/mc_global.c
src/mc/mc_private.h
src/mc/mc_request.c
src/mc/mc_state.c
src/simix/smx_smurf_private.h
src/simix/smx_user.c