Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : add example centralized_liveness in CMakeLists.txt
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Wed, 11 Jan 2012 14:08:02 +0000 (15:08 +0100)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Wed, 11 Jan 2012 14:08:02 +0000 (15:08 +0100)
commit6ebf62909fe0465d6180044f5fcc93e083c7e184
tree98383ba363b629801c0d8f72be8940a732b6251b
parent059291b87112991d41f426698f45afea178efb0b
model-checker : add example centralized_liveness in CMakeLists.txt
examples/msg/mc/CMakeLists.txt