1 files changed, 16 insertions, 0 deletions
diff --git a/codecov.yml b/codecov.yml
new file mode 100644
index 00000000..4fd8129f
--- /dev/null
+++ b/codecov.yml
@@ -0,0 +1,16 @@
+codecov:
+  disable_default_path_fixes: true
+
+coverage:
+  status:
+    project: no
+    patch: yes
+    changes: no
+
+fixes:
+  - "home/travis/build/klee/klee::"
+ignore:
+  - "usr/"
+  - "test/"
+  - "unittests"
+  - "**/test-utils"