diff options
| -rw-r--r-- | .codecov.yml | 9 |
1 files 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 |