Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : compare directly local variables found with DWARF and libunwind
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Fri, 25 Jan 2013 10:15:02 +0000 (11:15 +0100)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Fri, 25 Jan 2013 10:15:02 +0000 (11:15 +0100)
commit99a12f0cb39eec92a0a1b8cbd3e1cf3e50559fba
treeb05f6369469b050a23d2a09894e1764a7ea638cd
parentaeecccef59f268281e3c0423a535ccc4e001e491
model-checker : compare directly local variables found with DWARF and libunwind
src/mc/mc_compare.c