goblint / analyzer / 2847
62%
master: 65%

LAST BUILD BRANCH: spec-vg
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

Uncovered Changes

Lines Coverage ∆ File
7
91.25
 src/analyses/pthreadBarriers.ml
5
10.71
 -1.79% src/domains/events.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
1
86.05
 1.05% src/cdomains/mHP.ml
1
59.09
 1.62% src/domain/setDomain.ml

Coverage Regressions

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