about summary refs log tree commit diff homepage
path: root/.travis
diff options
context:
space:
mode:
authorTimotej <timotej.kapus13@imperial.ac.uk>2015-06-15 18:30:00 +0100
committerTimotej <timotej.kapus13@imperial.ac.uk>2015-06-15 18:30:00 +0100
commita83176ef4494eede31ac00ecd7b0c40fcdd0feb0 (patch)
treeb0f031779aa3cc0a28e0a83b022f0bacb7be1cb8 /.travis
parent6118403fa4315388946babd25be38a9524a5e2c5 (diff)
downloadklee-a83176ef4494eede31ac00ecd7b0c40fcdd0feb0.tar.gz
added zcov integration to travis CI
Diffstat (limited to '.travis')
-rwxr-xr-x.travis/klee.sh32
1 files changed, 32 insertions, 0 deletions
diff --git a/.travis/klee.sh b/.travis/klee.sh
index 3106dca9..9aa6b1af 100755
--- a/.travis/klee.sh
+++ b/.travis/klee.sh
@@ -55,6 +55,7 @@ ${KLEE_SRC}/configure --with-llvmsrc=/usr/lib/llvm-${LLVM_VERSION}/build \
             --with-llvmcxx=${KLEE_CXX} \
             --with-stp="${BUILD_DIR}/stp/build" \
             ${KLEE_UCLIBC_CONFIGURE_OPTION} \
+            CXXFLAGS="-fprofile-arcs -ftest-coverage" \
             && make DISABLE_ASSERTIONS=${DISABLE_ASSERTIONS} \
                     ENABLE_OPTIMIZED=${ENABLE_OPTIMIZED} \
                     ENABLE_SHARED=0
@@ -94,6 +95,37 @@ set +e # We want to let all the tests run before we exit
 lit -v .
 RETURN="${RETURN}$?"
 
+#generate and upload coverage if COVERAGE is set
+if [ ${COVERAGE} -eq 1 ]; then
+
+#get zcov that works with gcov v4.8
+    git clone https://github.com/kren1/zcov.git 
+    cd zcov
+    sudo python setup.py install
+    sudo mkdir /usr/local/lib/python2.7/dist-packages/zcov-0.3.0.dev0-py2.7.egg/zcov/js
+    cd zcov
+
+#these files are not where zcov expects them to be after install so we move them
+    sudo cp js/sorttable.js /usr/local/lib/python2.7/dist-packages/zcov-0.3.0.dev0-py2.7.egg/zcov/js/sorttable.js 
+    sudo cp js/sourceview.js /usr/local/lib/python2.7/dist-packages/zcov-0.3.0.dev0-py2.7.egg/zcov/js/sourceview.js 
+    sudo cp style.css /usr/local/lib/python2.7/dist-packages/zcov-0.3.0.dev0-py2.7.egg/zcov/style.css
+
+#install zcov dependency
+    sudo apt-get install enscript
+
+#update gcov from v4.6 to v4.8. This is becauase gcda files are made for v4.8 and cause 
+#a segmentation fault in v4.6
+    sudo apt-get install ggcov
+    sudo rm /usr/bin/gcov
+    sudo ln -s /usr/bin/gcov-4.8 /usr/bin/gcov
+
+#scan and generate coverage
+    zcov scan output.zcov ${BUILD_DIR}
+    zcov genhtml output.zcov coverage/
+#upload the coverage data, currently to a random ftp server
+    tar -zcvf coverage.tar.gz coverage/
+    curl --form "file=@coverage.tar.gz" -u ${USER}:${PASSWORD} ${COVERAGE_SERVER}
+fi
 ###############################################################################
 # Result
 ###############################################################################