goblint / analyzer / 2867
62%
master: 66%

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

Pull #1666

github

web-flow 
Merge 953577c22 into bce9f9277
Pull Request #1666: Staging for Race Digests

153 of 179 new or added lines in 14 files covered. (85.47%)

8 existing lines in 3 files now uncovered.

19138 of 30827 relevant lines covered (62.08%)

439563.5 hits per line

New Missed Lines in Diff

Lines Coverage ∆ File
1
81.08
 -2.25% src/analyses/mallocFresh.ml
1
77.42
 -0.36% src/analyses/mutexAnalysis.ml
1
79.61
 -0.78% src/analyses/region.ml
1
81.82
 -0.94% src/analyses/symbLocks.ml
1
93.75
 -3.02% src/analyses/threadFlag.ml
1
77.53
 -0.88% src/analyses/threadId.ml
1
86.67
 1.67% 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 2867.1 273
62.08
 GitHub Action Run
Source Files on build 2867