Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : fix insertion in mc_heap_comparison_ignore
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Wed, 6 Feb 2013 08:00:38 +0000 (09:00 +0100)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Wed, 6 Feb 2013 08:01:20 +0000 (09:01 +0100)
commit0fb8296fe01395b38b961a9f258df0df6b789799
tree0762f2dcba81e6c27bad66afe05ffbceef4de648
parent0d67926b0e3f0ea77ceac450089d1f5269243f4a
model-checker : fix insertion in mc_heap_comparison_ignore
src/mc/mc_global.c