Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker: remove unused examples
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Thu, 21 Jun 2012 09:32:41 +0000 (11:32 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Thu, 21 Jun 2012 09:34:41 +0000 (11:34 +0200)
commitca2d61f8f4e7d4f82a4dc9bd909188eeb870bc9f
treec922c1a090dfc186ec9414afacf1954c104f04a9
parent693f30b46244c152cd79cdf3ad35d4a79b866c9c
model-checker: remove unused examples
examples/msg/mc/CMakeLists.txt
examples/msg/mc/bugged1_stateful.c [deleted file]
examples/msg/mc/bugged2_stateful.c [deleted file]