From: degomme <augustin.degomme@unibas.ch>
Date: Mon, 25 Jan 2016 09:14:53 +0000 (+0100)
Subject: Enable model checking again for coverage, as slave has been updated to jessie
X-Git-Tag: v3_13~1099
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/82e019ed673dd2a4376068e7a62cb9fcca9e157b?hp=99a42d5d15b6a07e3005056dcf707d3a41671743

Enable model checking again for coverage, as slave has been updated to jessie
---

diff --git a/tools/jenkins/DynamicAnalysis.sh b/tools/jenkins/DynamicAnalysis.sh
index 007f686fca..6ae40a1646 100755
--- a/tools/jenkins/DynamicAnalysis.sh
+++ b/tools/jenkins/DynamicAnalysis.sh
@@ -76,7 +76,7 @@ make clean
 cmake -Denable_documentation=OFF -Denable_lua=ON -Denable_java=ON -Denable_tracing=ON \
       -Denable_compile_optimizations=OFF -Denable_compile_warnings=ON \
       -Denable_latency_bound_tracking=ON -Denable_jedule=ON -Denable_mallocators=ON \
-      -Denable_smpi=ON -Denable_smpi_MPICH3_testsuite=ON -Denable_model-checking=OFF \
+      -Denable_smpi=ON -Denable_smpi_MPICH3_testsuite=ON -Denable_model-checking=ON \
       -Denable_memcheck=OFF -Denable_memcheck_xml=OFF -Denable_smpi_ISP_testsuite=ON -Denable_coverage=ON $WORKSPACE
 
 # libdw seems to be too ancient on debian wheezy for model-checking.