Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : display instruction pointer if different local variable
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Tue, 4 Dec 2012 18:15:13 +0000 (19:15 +0100)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Tue, 4 Dec 2012 18:17:23 +0000 (19:17 +0100)
commit004dc1d6a53f5ded31becbdc1bee43805359d8c6
tree11e7f8c199c4eaa14181558debd8b57a66c27a44
parent88477504b135930a51dad5af1d57194c894c091b
model-checker : display instruction pointer if different local variable
src/mc/mc_compare.c