aboutsummaryrefslogtreecommitdiffstats
path: root/.circleci
diff options
context:
space:
mode:
authorPaweł Bylica <chfast@gmail.com>2018-07-23 19:29:55 +0800
committerPaweł Bylica <chfast@gmail.com>2018-07-24 23:12:42 +0800
commita1d3e72bb51fe45a6af531c20863037c759c6765 (patch)
tree6cb349270bc7c77d1712fd3c33a8148fdcc6daf5 /.circleci
parent807f7533d9e56eea0c137d2147293d9a6bab279a (diff)
downloaddexon-solidity-a1d3e72bb51fe45a6af531c20863037c759c6765.tar.gz
dexon-solidity-a1d3e72bb51fe45a6af531c20863037c759c6765.tar.zst
dexon-solidity-a1d3e72bb51fe45a6af531c20863037c759c6765.zip
Circle CI: Upload coverage data
Diffstat (limited to '.circleci')
-rw-r--r--.circleci/config.yml15
1 files changed, 13 insertions, 2 deletions
diff --git a/.circleci/config.yml b/.circleci/config.yml
index e73a45a2..a2e34b37 100644
--- a/.circleci/config.yml
+++ b/.circleci/config.yml
@@ -14,7 +14,7 @@ defaults:
command: |
mkdir -p build
cd build
- cmake .. -DCMAKE_BUILD_TYPE=RelWithDebInfo
+ cmake .. -DCMAKE_BUILD_TYPE=RelWithDebInfo $CMAKE_OPTIONS
make -j4
- run_tests: &run_tests
name: Tests
@@ -122,6 +122,7 @@ jobs:
- image: buildpack-deps:artful
environment:
TERM: xterm
+ CMAKE_OPTIONS: -DCOVERAGE=ON
steps:
- checkout
- run:
@@ -191,9 +192,19 @@ jobs:
name: Install dependencies
command: |
apt-get -qq update
- apt-get -qy install libz3-dev libleveldb1v5
+ apt-get -qy install libz3-dev libleveldb1v5 python-pip
+ pip install codecov
- run: mkdir -p test_results
+ - run:
+ name: Test type checker
+ command: build/test/soltest -t 'syntaxTest*' -- --no-ipc --testpath test
+ - run:
+ name: Coverage of type checker
+ command: codecov --flags type_checker --gcov-root build
- run: *run_tests
+ - run:
+ name: Coverage of all
+ command: codecov --flags all --gcov-root build
- store_test_results:
path: test_results/