Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : fix dpor with dot_output
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Sun, 2 Jun 2013 18:27:51 +0000 (20:27 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Sun, 2 Jun 2013 18:27:51 +0000 (20:27 +0200)
commit83be6c229ad40bf76f34d807bc55d1413cf678aa
tree97a1ae8ec0762e78a79d2ea40fc0f5bb5d1ee578
parent28dbdccd6dfc861ac7951a9884ca597e37c94710
model-checker : fix dpor with dot_output
src/mc/mc_dpor.c