Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : use xbt_free_f instead of a new function which do the same thing
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Thu, 21 Mar 2013 13:04:50 +0000 (14:04 +0100)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Thu, 21 Mar 2013 13:04:50 +0000 (14:04 +0100)
commit0408a4538fc4bad9cc852dea70e585d713a60a32
treef5605c469896caf45cf9e1eb90cb1e95b6385be8
parent84c0bdd5d7ca6061f968338a071501e4d4d9a084
model-checker : use xbt_free_f instead of a new function which do the same thing
src/mc/mc_dpor.c