Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : add deployment file deploy_bugged1_liveness_visited.xml in CMakeLists.txt
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Mon, 23 Sep 2013 09:53:33 +0000 (11:53 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Mon, 23 Sep 2013 09:53:57 +0000 (11:53 +0200)
commit498e825a9b558b54beb2addac08e873f7911f677
treecd3286c92f14474ec8baf5759327a8c68b48c6a2
parent8a6229b1219b87682cf66abc13f5c2c0cd4fdb17
model-checker : add deployment file deploy_bugged1_liveness_visited.xml in CMakeLists.txt
examples/msg/mc/CMakeLists.txt