about summary refs log tree commit diff homepage
path: root/.codecov.yml
blob: bccacde04979c3f19618171618a57ac25d4c37af (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
codecov:
  disable_default_path_fixes: true

coverage:
  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