From e432297c3e43a476a6d97b6f1bf39bb2859816ce Mon Sep 17 00:00:00 2001
From: Martin Nowack <martin_nowack@tu-dresden.de>
Date: Sat, 27 Jan 2018 21:53:44 +0100
Subject: Fix coverage generation

* Generate base coverage tracking all files
* Reset coverage tracking before running experiments
* Use base path KLEE_SRC
* Fix uploading of results
---
 .codecov.yml | 22 ++++++++++++++++++++++
 1 file changed, 22 insertions(+)
 create mode 100644 .codecov.yml

(limited to '.codecov.yml')

diff --git a/.codecov.yml b/.codecov.yml
new file mode 100644
index 00000000..c4a12ef7
--- /dev/null
+++ b/.codecov.yml
@@ -0,0 +1,22 @@
+codecov:
+  disable_default_path_fixes: true
+
+coverage:
+  status:
+    project: no
+    patch: yes
+    changes: no
+  precision: 2
+  round: down
+  range: "70...100"
+
+fixes:
+  - "home/travis/build/klee/klee::"
+ignore:
+  - "usr/"
+  - "test/"
+  - "unittests"
+  - "**/test-utils"
+comment:
+  layout: "header, diff, changes, uncovered, tree"
+  behavior: default
-- 
cgit 1.4.1