Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : detect if binary program has been compiled with -g and with optimizations
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Thu, 27 Sep 2012 16:33:31 +0000 (18:33 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Fri, 5 Oct 2012 17:19:15 +0000 (19:19 +0200)
commit684199641c75ec4ee775b8dda71982e8fe6d3fb8
treea4a87b322bd3ee243541a292a9927b7b7b61777f
parentdf2fe4fa15d80bf6b15e648aa962d15a2a40a2c7
model-checker : detect if binary program has been compiled with -g and with optimizations
src/mc/mc_global.c