From: Marion Guthmuller <marion.guthmuller@loria.fr>
Date: Mon, 23 Sep 2013 09:53:33 +0000 (+0200)
Subject: model-checker : add deployment file deploy_bugged1_liveness_visited.xml in CMakeLists.txt
X-Git-Tag: v3_9_90~104^2~22
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/498e825a9b558b54beb2addac08e873f7911f677

model-checker : add deployment file deploy_bugged1_liveness_visited.xml in CMakeLists.txt
---

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