Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : move print statistics if property is valid
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Thu, 14 Jun 2012 07:29:05 +0000 (09:29 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Thu, 14 Jun 2012 07:32:47 +0000 (09:32 +0200)
commit139c5f52fbe9304c2c437876a332a4bce68358d3
tree51c15c77c5581a12cdbdf0382adfb4a83f40b7f5
parent32417005181718d147397265dff392af44eedc3b
model-checker : move print statistics if property is valid
src/mc/mc_dpor.c
src/mc/mc_global.c