goblint / analyzer / 5105
67%

DEFAULT BRANCH: master
Ran
Jobs 1
Files 329
Run time 1min
Badge
Embed ▾
README BADGES
x

If you need to use a raster PNG badge, change the '.svg' to '.png' in the link

Markdown

Textile

RDoc

HTML

Rst
coverage: 65.682% (+0.009%) from 65.673%
5105

push

github

web-flow 
Merge pull request #2209 from goblint/yaml-witness-ghost-validate-empty

Support validation of empty `ghost_instrumentation` in YAML witness

0 of 3 new or added lines in 1 file covered. (0.0%)

91 existing lines in 4 files now uncovered.

23168 of 35273 relevant lines covered (65.68%)

395015.15 hits per line

Uncovered Changes

Lines Coverage ∆ File
3
77.74
0.0% src/witness/yamlWitness.ml

Coverage Regressions

Lines Coverage ∆ File
44
77.74
0.0% src/witness/yamlWitness.ml
30
86.67
-0.21% src/relationAnalysis.ml
15
63.8
-0.79% src/domains/queries.ml
2
90.29
-0.62% src/analyses/mutexGhosts.ml
Jobs
ID Job ID Ran Files Coverage
1 5105.1 329
65.68
GitHub Action Run
Source Files on build 5105