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://bilbo.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/3074e60a4b97f3638a1235aa9853fdb4bb51dad8?hp=3074e60a4b97f3638a1235aa9853fdb4bb51dad8

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