goblint / analyzer / 5118
67%

DEFAULT BRANCH: master
Ran
Jobs 1
Files 329
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.695% (+0.01%) from 65.682%
5118

push

github

sim642 
Add TODO from PR #2204

0 of 1 new or added line in 1 file covered. (0.0%)

243 existing lines in 5 files now uncovered.

23185 of 35292 relevant lines covered (65.69%)

394836.09 hits per line

Uncovered Changes

Lines Coverage ∆ File
1
72.91
-0.05% src/cdomain/value/cdomains/floatDomain.ml

Coverage Regressions

Lines Coverage ∆ File
159
72.91
-0.05% src/cdomain/value/cdomains/floatDomain.ml
56
82.49
0.01% src/analyses/base.ml
20
76.7
0.34% src/analyses/memOutOfBounds.ml
6
77.68
0.12% src/analyses/baseInvariant.ml
2
85.71
-3.76% src/common/cdomains/floatOps/floatOps.ml
Jobs
ID Job ID Ran Files Coverage
1 5118.1 329
65.69
GitHub Action Run
Source Files on build 5118