codecov.yml


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
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"