diff options
author | Andrea Mattavelli <andreamattavelli@gmail.com> | 2017-10-06 08:52:46 +0100 |
---|---|---|
committer | MartinNowack <martin.nowack@gmail.com> | 2018-01-16 16:18:39 +0100 |
commit | 3916f00c68611a8c85b856bc4af7f43bb5f0e628 (patch) | |
tree | 03afb6a9951ccfe3713637aa72c33741e225e551 /.travis.yml | |
parent | 37f554d5cf587ec9f6befa359a0e3aa60e9ce73f (diff) | |
download | klee-3916f00c68611a8c85b856bc4af7f43bb5f0e628.tar.gz |
[Travis-CI] Added codecov.io support
Diffstat (limited to '.travis.yml')
-rw-r--r-- | .travis.yml | 7 |
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 |