Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : improve error message
authorMarion Guthmuller <marion.guthmuller@inria.fr>
Fri, 30 May 2014 07:37:44 +0000 (09:37 +0200)
committerMarion Guthmuller <marion.guthmuller@inria.fr>
Fri, 30 May 2014 07:37:44 +0000 (09:37 +0200)
commit48e9fb0982ced660ff66fd7d83281dc3fdc57432
treecf232c1b057385c7f19c015338733ddca9da95eb
parente500651e81ecd747de21d8d5b3b0140f3446c577
model-checker : improve error message
src/mc/mc_dpor.c