Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : new model-checker configuration model-check/dot_output=file_name...
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Wed, 13 Mar 2013 16:04:20 +0000 (17:04 +0100)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Sat, 16 Mar 2013 17:30:55 +0000 (18:30 +0100)
commitbdd25e7e320fa5d4f826cbb89bad6cfff45e0c21
treef76d4235d598b59bf2481278d3bab1ad890b3d7e
parent3fe2ef519e92552fc1122e4f4fbaba4b00aea768
model-checker : new model-checker configuration model-check/dot_output=file_name which generates a dot output of graph state explored during model checking
src/include/mc/mc.h
src/mc/mc_dpor.c
src/mc/mc_global.c
src/mc/mc_private.h
src/mc/mc_request.c
src/mc/mc_state.c
src/simgrid/sg_config.c