goblint / analyzer / 5338
67%

DEFAULT BRANCH: master
Ran
Jobs 1
Files 331
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: 66.715% (-0.07%) from 66.781%
5338

push

github

web-flow 
Merge pull request #2321 from goblint/issue-2319

Fix `cardinal` in `DisjointDomain` and lift `SetDomain.Joined`

33 of 97 new or added lines in 3 files covered. (34.02%)

15 existing lines in 8 files now uncovered.

23746 of 35593 relevant lines covered (66.72%)

396187.51 hits per line

Uncovered Changes

Lines Coverage ∆ File
43
32.67
-0.82% src/domain/mapDomain.ml
19
62.37
-1.83% src/domain/setDomain.ml
2
17.9
-0.17% src/domain/disjointDomain.ml

Coverage Regressions

Lines Coverage ∆ File
4
89.83
-1.4% src/analyses/threadJoins.ml
2
54.04
-1.24% src/analyses/mCPRegistry.ml
2
17.9
-0.17% src/domain/disjointDomain.ml
2
32.67
-0.82% src/domain/mapDomain.ml
2
62.37
-1.83% src/domain/setDomain.ml
1
86.47
-0.29% src/analyses/mCP.ml
1
60.9
-0.38% src/domain/lattice.ml
1
54.17
-4.17% src/lifters/wideningDelay.ml
Jobs
ID Job ID Ran Files Coverage
1 5338.1 331
66.72
GitHub Action Run
Source Files on build 5338