From 82e019ed673dd2a4376068e7a62cb9fcca9e157b Mon Sep 17 00:00:00 2001 From: degomme Date: Mon, 25 Jan 2016 10:14:53 +0100 Subject: [PATCH 1/1] Enable model checking again for coverage, as slave has been updated to jessie --- tools/jenkins/DynamicAnalysis.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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. -- 2.20.1