diff options
| author | Cristian Cadar <c.cadar@imperial.ac.uk> | 2023-04-21 22:31:10 +0100 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2023-05-26 23:31:04 +0800 |
| commit | 8500a8190fe61dd9240d91baf849cba0cc859b82 (patch) | |
| tree | c73917a7f9a40db098c8921419eb17a05f2f1dd1 | |
| parent | edfa29e836087cb61f33afcac40640be5f36341a (diff) | |
| download | klee-8500a8190fe61dd9240d91baf849cba0cc859b82.tar.gz | |
Cleaned up and updated codecov file.
| -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 |