vbpf / prevail / 26443741173
86%
main: 86%

LAST BUILD BRANCH: map-func-compat
DEFAULT BRANCH: main
Ran
Jobs 2
Files 79
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: 86.372% (-0.06%) from 86.431%
26443741173

Pull #1121

github

web-flow 
Merge 9845f03e1 into 9404df3e2
Pull Request #1121: Make svalue a T_NUM-specific kind variable

36 of 40 new or added lines in 5 files covered. (90.0%)

8 existing lines in 4 files now uncovered.

8955 of 10368 relevant lines covered (86.37%)

6585826.71 hits per line

Uncovered Changes

Lines Coverage ∆ File
2
92.04
 -0.06% src/crab/ebpf_transformer.cpp
1
89.8
 0.0% src/crab/ebpf_checker.cpp
1
57.14
 -12.09% src/crab/region_semantics.cpp

Coverage Regressions

Lines Coverage ∆ File
3
92.04
 -0.06% src/crab/ebpf_transformer.cpp
3
95.15
 -0.45% src/crab/finite_domain.cpp
1
57.14
 -12.09% src/crab/region_semantics.cpp
1
86.23
 -0.75% src/crab/type_to_num.cpp
Jobs
ID Job ID Ran Files Coverage
1 run-Debug - 26443741173.1 79
84.62
 GitHub Action Run
2 run-Release - 26443741173.2 79
85.49
 GitHub Action Run
Source Files on build 26443741173