Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : delete visited in struct xbt_state_t (unused)
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Tue, 13 Sep 2011 15:56:54 +0000 (17:56 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Tue, 25 Oct 2011 11:36:57 +0000 (13:36 +0200)
commit30a620d418f7770838a98a75259509d012cd5abe
tree0cd2c9a69f2204061331ab5c997c201a8492c302
parent62909bd3e1734c5382aac48bb2c62cb70c8abfa4
model-checker : delete visited in struct xbt_state_t (unused)
examples/msg/mc/automaton.c
examples/msg/mc/automaton.h
src/mc/private.h