Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : ignore mc_time for heap comparison and global variables comparison
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Wed, 13 Mar 2013 16:07:17 +0000 (17:07 +0100)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Sat, 16 Mar 2013 17:30:55 +0000 (18:30 +0100)
commitde98b9c28c8701c88411c154c5711a8a7210c602
tree8d12e875067eee322ff1909e0e3b7020be2ac939
parentcbc3117c526501483677c834f121499c5c67b753
model-checker : ignore mc_time for heap comparison and global variables comparison
src/mc/mc_global.c