From 8500a8190fe61dd9240d91baf849cba0cc859b82 Mon Sep 17 00:00:00 2001
From: Cristian Cadar <c.cadar@imperial.ac.uk>
Date: Fri, 21 Apr 2023 22:31:10 +0100
Subject: Cleaned up and updated codecov file.

---
 .codecov.yml | 9 +++++----
 1 file changed, 5 insertions(+), 4 deletions(-)

diff --git a/.codecov.yml b/.codecov.yml
index bccacde0..5d641d30 100644
--- a/.codecov.yml
+++ b/.codecov.yml
@@ -2,21 +2,22 @@ codecov:
   disable_default_path_fixes: true
 
 coverage:
+  range: 70...90
+  precision: 2
+  round: down
   status:
     project: no
     patch: yes
     changes: no
-  precision: 2
-  round: down
-  range: "70...100"
 
 fixes:
   - "/tmp/klee_src::"
+
 ignore:
-  - "usr/"
   - "test/"
   - "unittests"
   - "**/test-utils"
+
 comment:
   layout: "header, diff, changes, uncovered, tree"
   behavior: default
-- 
cgit 1.4.1