Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : remove obsolete examples
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Mon, 5 Aug 2013 13:33:33 +0000 (15:33 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Mon, 5 Aug 2013 13:33:33 +0000 (15:33 +0200)
commit799c4fd899768d0184af411ea5b76377589aa9c6
tree2dca90fe6549c6c0a63d75a06651868f9adb3720
parent055747c669087313b6b27ccf89c990f14f5b8098
model-checker : remove obsolete examples
14 files changed:
examples/msg/mc/CMakeLists.txt
examples/msg/mc/test/deploy_snapshot_comparison.xml [deleted file]
examples/msg/mc/test/promela [deleted file]
examples/msg/mc/test/snapshot_comparison1.c [deleted file]
examples/msg/mc/test/snapshot_comparison1.tesh [deleted file]
examples/msg/mc/test/snapshot_comparison2.c [deleted file]
examples/msg/mc/test/snapshot_comparison2.tesh [deleted file]
examples/msg/mc/test/snapshot_comparison3.c [deleted file]
examples/msg/mc/test/snapshot_comparison3.tesh [deleted file]
examples/msg/mc/test/snapshot_comparison4.c [deleted file]
examples/msg/mc/test/snapshot_comparison4.tesh [deleted file]
examples/msg/mc/test/snapshot_comparison5.c [deleted file]
examples/msg/mc/test/snapshot_comparison5.tesh [deleted file]
examples/msg/mc/test/snapshot_comparison_platform.xml [deleted file]