From a1d3e72bb51fe45a6af531c20863037c759c6765 Mon Sep 17 00:00:00 2001
From: Paweł Bylica <chfast@gmail.com>
Date: Mon, 23 Jul 2018 13:29:55 +0200
Subject: Circle CI: Upload coverage data

---
 .circleci/config.yml | 15 +++++++++++++--
 1 file changed, 13 insertions(+), 2 deletions(-)

(limited to '.circleci')

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/
 
-- 
cgit