goblint / analyzer / 3151
65%

DEFAULT BRANCH: master
Ran
Jobs 1
Files 290
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: 61.883% (+0.06%) from 61.826%
3151

push

github

web-flow 
Merge pull request #1728 from goblint/lattice-lift-po

Weaken `Lattice.Lift{,2}Conf` arguments, remove `Lattice.LiftPO`

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

673 existing lines in 12 files now uncovered.

20924 of 33812 relevant lines covered (61.88%)

408453.23 hits per line

New Missed Lines in Diff

Lines Coverage ∆ File
4
61.03
 -0.75% src/domain/lattice.ml

Uncovered Existing Lines

Lines Coverage ∆ File
1
87.06
 -0.29% src/framework/constraints.ml
14
72.88
 0.95% src/constraint/constrSys.ml
17
89.84
 0.59% src/cdomain/value/cdomains/int/intDomTuple.ml
27
82.62
 0.27% src/cdomain/value/cdomains/int/defExcDomain.ml
32
77.59
 0.32% src/cdomain/value/cdomains/int/enumsDomain.ml
37
86.79
 0.27% src/cdomain/value/cdomains/int/intervalSetDomain.ml
39
79.32
 0.27% src/cdomain/value/cdomains/int/intervalDomain.ml
60
74.63
 0.0% src/cdomain/value/cdomains/intDomain0.ml
76
54.21
 -0.19% src/maingoblint.ml
80
61.03
 -0.75% src/domain/lattice.ml
108
76.11
 -0.19% src/solver/td3.ml
182
63.36
 0.32% src/analyses/basePriv.ml
Jobs
ID Job ID Ran Files Coverage
1 3151.1 290
61.88
 GitHub Action Run
Source Files on build 3151