diff options
| author | Paweł Bylica <chfast@gmail.com> | 2018-07-23 19:29:55 +0800 |
|---|---|---|
| committer | Paweł Bylica <chfast@gmail.com> | 2018-07-24 23:12:42 +0800 |
| commit | a1d3e72bb51fe45a6af531c20863037c759c6765 (patch) | |
| tree | 6cb349270bc7c77d1712fd3c33a8148fdcc6daf5 /.circleci/config.yml | |
| parent | 807f7533d9e56eea0c137d2147293d9a6bab279a (diff) | |
| download | dexon-solidity-a1d3e72bb51fe45a6af531c20863037c759c6765.tar.gz dexon-solidity-a1d3e72bb51fe45a6af531c20863037c759c6765.tar.zst dexon-solidity-a1d3e72bb51fe45a6af531c20863037c759c6765.zip | |
Circle CI: Upload coverage data
Diffstat (limited to '.circleci/config.yml')
| -rw-r--r-- | .circleci/config.yml | 15 |
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/ |