Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Revert "model-checker : add new surf configuration mc-checkpoint"
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Wed, 20 Jun 2012 16:45:48 +0000 (18:45 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Wed, 20 Jun 2012 16:45:48 +0000 (18:45 +0200)
commit07e586be4bf6cd4490fc7bb466d5b7bdaef8c20a
tree462a3890ebcdea9ab37ddd177f9a88b2e322d198
parent997b2f3f37f1b2ee77b2dfbf82c70e183a5ed5f3
Revert "model-checker : add new surf configuration mc-checkpoint"

Need more modifications

This reverts commit 997b2f3f37f1b2ee77b2dfbf82c70e183a5ed5f3.
src/surf/surf_config.c