goblint / analyzer / 4895
66%

DEFAULT BRANCH: master
Ran
Jobs 1
Files 326
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.389% (-0.03%) from 65.419%
4895

push

github

web-flow 
Merge pull request #2120 from goblint/printable-expand3

Improve readability of `Spec` lifted `Prod` domains

2 of 5 new or added lines in 1 file covered. (40.0%)

129 existing lines in 11 files now uncovered.

22871 of 34977 relevant lines covered (65.39%)

396768.43 hits per line

Uncovered Changes

Lines Coverage ∆ File
3
38.26
-4.43% src/common/domains/printable.ml

Coverage Regressions

Lines Coverage ∆ File
58
68.1
-0.28% src/lifters/specLifters.ml
18
82.4
-1.34% src/lifters/longjmpLifter.ml
18
67.69
-1.06% src/lifters/wideningTokenLifter.ml
13
72.22
-1.36% src/lifters/contextGasLifter.ml
10
58.33
-2.54% src/lifters/wideningDelay.ml
6
78.05
5.32% src/constraint/translators.ml
2
38.26
-4.43% src/common/domains/printable.ml
1
55.56
-0.62% src/analyses/mCPRegistry.ml
1
41.94
-3.23% src/common/framework/node.ml
1
18.07
-0.24% src/domain/disjointDomain.ml
1
0.0
0.0% src/lifters/wideningToken.ml
Jobs
ID Job ID Ran Files Coverage
1 4895.1 326
65.39
GitHub Action Run
Source Files on build 4895