goblint / analyzer / 4033
65%

DEFAULT BRANCH: master
Ran
Jobs 1
Files 313
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.441% (+0.03%) from 65.413%
4033

push

github

web-flow 
Merge pull request #1894 from goblint/cast-kind

Add cast kinds in CIL

64 of 81 new or added lines in 23 files covered. (79.01%)

16 existing lines in 2 files now uncovered.

22606 of 34544 relevant lines covered (65.44%)

404521.12 hits per line

New Missed Lines in Diff

Lines Coverage ∆ File
1
77.72
 0.0% src/analyses/baseInvariant.ml
1
59.26
 0.0% src/analyses/condVars.ml
1
72.81
 0.0% src/analyses/memOutOfBounds.ml
1
4.65
 0.0% src/analyses/tutorials/taint.ml
1
66.06
 0.0% src/cdomain/value/cdomains/arrayDomain.ml
1
80.58
 -0.17% src/cdomain/value/cdomains/offset.ml
1
59.46
 0.0% src/cdomains/unionFind.ml
2
52.16
 0.0% src/cdomains/symbLocksDomain.ml
2
36.36
 0.0% src/common/cdomains/basetype.ml
3
61.6
 0.0% src/analyses/varEq.ml
3
53.23
 0.43% src/common/util/cilType.ml

Uncovered Existing Lines

Lines Coverage ∆ File
2
53.23
 0.43% src/common/util/cilType.ml
14
91.46
 1.89% src/cdomain/value/cdomains/int/bitfieldDomain.ml
Jobs
ID Job ID Ran Files Coverage
1 4033.1 313
65.44
 GitHub Action Run
Source Files on build 4033