goblint / analyzer / 847
62%
master: 62%

LAST BUILD BRANCH: issue_1558_master
DEFAULT BRANCH: master
Ran
Jobs 1
Files 202
Run time 26s
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: 61.453% (+0.09%) from 61.364%
847

Pull #1257

github

web-flow 
Merge d629d14d1 into 3414f4f9e
Pull Request #1257: SV-COMP 2024 development

136 of 181 new or added lines in 7 files covered. (75.14%)

5 existing lines in 2 files now uncovered.

16757 of 27268 relevant lines covered (61.45%)

57643.25 hits per line

New Missed Lines in Diff

Lines Coverage ∆ File
1
75.59
 -0.17% src/domains/access.ml
1
54.05
 0.22% src/maingoblint.ml
1
63.79
 0.0% src/witness/yamlWitnessType.ml
9
43.07
 -1.13% src/witness/witness.ml
15
56.03
 -1.15% src/witness/yamlWitness.ml
18
83.45
 17.54% src/analyses/memLeak.ml

Uncovered Existing Lines

Lines Coverage ∆ File
1
83.45
 17.54% src/analyses/memLeak.ml
4
56.03
 -1.15% src/witness/yamlWitness.ml
Jobs
ID Job ID Ran Files Coverage
1 847.1 202
61.45
 GitHub Action Run
Source Files on build 847