Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : ignore some variables enabled with tracing, and variables about excep...
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Sun, 18 Nov 2012 18:28:25 +0000 (19:28 +0100)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Sun, 18 Nov 2012 18:28:25 +0000 (19:28 +0100)
commit7526c37879613289a86be06ec264b1cce5ef4049
tree44b2a117c9668c6e6cabd160d4e43e124cc44bac
parentd90a41491cfb04188c4469729fa60d01ec0ff693
model-checker : ignore some variables enabled with tracing, and variables about exception for all frames
src/instr/instr_msg_process.c
src/instr/instr_msg_task.c
src/instr/instr_routing.c
src/instr/instr_smpi.c
src/mc/mc_compare.c
src/mc/mc_global.c
src/msg/msg_gos.c
src/simix/smx_process.c