goblint / analyzer / 2847
62%
master: 66%

LAST BUILD BRANCH: copilot/skip-ci-jobs-for-docs-changes
DEFAULT BRANCH: master
Ran
Jobs 1
Files 273
Run time 2min
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: 62.09% (+0.2%) from 61.856%
2847

Pull #1666

github

web-flow 
Merge 5c26909ac into bce9f9277
Pull Request #1666: Staging for Race Digests

140 of 160 new or added lines in 8 files covered. (87.5%)

8 existing lines in 3 files now uncovered.

19135 of 30818 relevant lines covered (62.09%)

439667.33 hits per line

New Missed Lines in Diff

Lines Coverage ∆ File
1
86.05
 1.05% src/cdomains/mHP.ml
1
59.09
 1.62% src/domain/setDomain.ml
2
95.24
 src/analyses/pthreadOnce.ml
2
19.65
 -0.1% src/domain/disjointDomain.ml
2
87.31
 -0.04% src/framework/constraints.ml
5
10.71
 -1.79% src/domains/events.ml
7
91.25
 src/analyses/pthreadBarriers.ml

Uncovered Existing Lines

Lines Coverage ∆ File
1
77.48
 -0.45% src/cdomain/value/cdomains/int/enumsDomain.ml
2
81.08
 -5.41% src/autoTune0.ml
5
67.9
 -1.48% src/autoTune.ml
Jobs
ID Job ID Ran Files Coverage
1 2847.1 273
62.09
 GitHub Action Run
Source Files on build 2847