about summary refs log tree commit diff homepage
path: root/.travis.yml
diff options
context:
space:
mode:
authorAndrea Mattavelli <andreamattavelli@gmail.com>2017-10-06 08:52:46 +0100
committerMartinNowack <martin.nowack@gmail.com>2018-01-16 16:18:39 +0100
commit3916f00c68611a8c85b856bc4af7f43bb5f0e628 (patch)
tree03afb6a9951ccfe3713637aa72c33741e225e551 /.travis.yml
parent37f554d5cf587ec9f6befa359a0e3aa60e9ce73f (diff)
downloadklee-3916f00c68611a8c85b856bc4af7f43bb5f0e628.tar.gz
[Travis-CI] Added codecov.io support
Diffstat (limited to '.travis.yml')
-rw-r--r--.travis.yml7
1 files changed, 5 insertions, 2 deletions
diff --git a/.travis.yml b/.travis.yml
index 7aa521aa..01bac7a1 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -32,11 +32,10 @@ env:
     #   COVERAGE: {0, 1}
     #   USE_TCMALLOC: {0, 1}
 
-    # COVERAGE set indicated that coverage data should be uploaded to the server, only ONE job should have COVERAGE set
+    # COVERAGE when set indicates that coverage data should be uploaded to the service, only ONE job should have COVERAGE set
 
     matrix:
 
-    # TODO: Add coverage build
     # TODO: Add Doxygen build
 
     # Check newer LLVMs
@@ -69,6 +68,9 @@ env:
 
     # Check with TCMALLOC
     - LLVM_VERSION=3.4 SOLVERS=STP STP_VERSION=2.1.2 KLEE_UCLIBC=klee_uclibc_v1.0.0 DISABLE_ASSERTIONS=0 ENABLE_OPTIMIZED=1 COVERAGE=0 USE_TCMALLOC=1
+
+    # Coverage build
+    - LLVM_VERSION=3.4 SOLVERS=STP:Z3 STP_VERSION=2.1.2 KLEE_UCLIBC=klee_uclibc_v1.0.0 DISABLE_ASSERTIONS=0 ENABLE_OPTIMIZED=0 COVERAGE=1 USE_TCMALLOC=0
     global:
     - secure: EF/WAc4BdIRUchF3mjATN3/UwtGWtGaRgb5oIIJHjKhgZFdPsgWsXFgaOB0jaK2hfO/svj/LvlasuRIGxeePVjeaiX8ZlVpuHiX67vdYLY+0kCDRwkusRjm60/GbPU9O/Xjgb/d4aWAEkoq5OnsprVTEvU8iY2JHtAqgwR+wW9I=
     - secure: Hrp1MRSxDUH2GTQg3QR/yUttY/3KmgbFb5e+zyy551dKpHjxJdsNe8bquY9oFoT7KmPQYl0HNNjEv4qWW8RK+HWHOCB55nL1KlGpOG7vAJcUEZg7ScbliGgiovMB6jIQVfeP9FhYngfc13vNZQ5PGlqzfSsHSAbvkwEogBToHVw=
@@ -95,6 +97,7 @@ addons:
     - libedit-dev
     - libselinux1-dev
     - cmake
+    - lcov
 
 cache:
   apt: true