From: Marion Guthmuller <marion.guthmuller@loria.fr>
Date: Mon, 23 Sep 2013 08:54:47 +0000 (+0200)
Subject: model-checker : add bugged1_liveness_visited.tesh in CMakeLists.txt
X-Git-Tag: v3_9_90~104^2~28
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/3074e60a4b97f3638a1235aa9853fdb4bb51dad8

model-checker : add bugged1_liveness_visited.tesh in CMakeLists.txt
---

diff --git a/examples/msg/mc/CMakeLists.txt b/examples/msg/mc/CMakeLists.txt
index 876cf71979..554add94b6 100644
--- a/examples/msg/mc/CMakeLists.txt
+++ b/examples/msg/mc/CMakeLists.txt
@@ -26,6 +26,7 @@ set(tesh_files
   ${CMAKE_CURRENT_SOURCE_DIR}/bugged1.tesh
   ${CMAKE_CURRENT_SOURCE_DIR}/bugged2.tesh
   ${CMAKE_CURRENT_SOURCE_DIR}/bugged1_liveness.tesh
+  ${CMAKE_CURRENT_SOURCE_DIR}/bugged1_liveness_visited.tesh
   ${CMAKE_CURRENT_SOURCE_DIR}/centralized.tesh
   PARENT_SCOPE
   )