Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : improve debug information for stacks comparison
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Wed, 7 Nov 2012 14:39:06 +0000 (15:39 +0100)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Wed, 7 Nov 2012 15:59:31 +0000 (16:59 +0100)
commitc4adbc682a9c7d5c3dea07b2b64c9a9e21b237ab
tree3d74292d93e25c28f0b0debc30b537c638f020f6
parent96276d3834e5af1b4fc06a4c64c705108d5cd855
model-checker : improve debug information for stacks comparison
src/mc/mc_compare.c