From 498e825a9b558b54beb2addac08e873f7911f677 Mon Sep 17 00:00:00 2001
From: Marion Guthmuller <marion.guthmuller@loria.fr>
Date: Mon, 23 Sep 2013 11:53:33 +0200
Subject: [PATCH 1/1] model-checker : add deployment file
 deploy_bugged1_liveness_visited.xml in CMakeLists.txt

---
 examples/msg/mc/CMakeLists.txt | 1 +
 1 file changed, 1 insertion(+)

diff --git a/examples/msg/mc/CMakeLists.txt b/examples/msg/mc/CMakeLists.txt
index 554add94b6..1cba5035b2 100644
--- a/examples/msg/mc/CMakeLists.txt
+++ b/examples/msg/mc/CMakeLists.txt
@@ -33,6 +33,7 @@ set(tesh_files
 set(xml_files
   ${xml_files}
   ${CMAKE_CURRENT_SOURCE_DIR}/deploy_bugged1_liveness.xml
+  ${CMAKE_CURRENT_SOURCE_DIR}/deploy_bugged1_liveness_visited.xml
   ${CMAKE_CURRENT_SOURCE_DIR}/deploy_bugged1.xml
   ${CMAKE_CURRENT_SOURCE_DIR}/deploy_bugged2_liveness.xml
   ${CMAKE_CURRENT_SOURCE_DIR}/deploy_bugged2.xml
-- 
2.20.1