Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : functions only used in mc_global declared as static and remove unnece...
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Sun, 30 Sep 2012 11:53:59 +0000 (13:53 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Fri, 5 Oct 2012 17:19:15 +0000 (19:19 +0200)
commit3f66b3759acbaa15aac6aa9a80a78563031abd74
treecdba9872867ea65d304e50f83576afebef396ccc
parent10f77426a04dbc7a2fb65738a976a01f3f8ad056
model-checker : functions only used in mc_global declared as static and remove unnecessary strdup
src/mc/mc_global.c