Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : remove useless if
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Fri, 31 May 2013 21:38:26 +0000 (23:38 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Fri, 31 May 2013 21:38:26 +0000 (23:38 +0200)
commit37876ed92c56be8bf04d4075e862fef838cf29e1
tree53a83e6824db40307a35ea45a6ee66c6304a02c5
parentd7d6db175cc786205321b1bfb6177e43f44cf85b
model-checker : remove useless if
src/mc/mc_liveness.c