Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : use bprintf instead of sprintf
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Mon, 30 Jul 2012 20:28:16 +0000 (22:28 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Mon, 30 Jul 2012 20:28:16 +0000 (22:28 +0200)
commit6094b84fce7ea54856b5df4ee531e1e16860428c
treec92e83063c90bac6d0bd3fb9a76068af7e120790
parentfc90483d87af7c41aa3dabc00a43585c6ea928e0
model-checker : use bprintf instead of sprintf
src/mc/mc_checkpoint.c