vbpf / prevail / 26371170103
86%
main: 86%

LAST BUILD BRANCH: extrapolator-api
DEFAULT BRANCH: main
Ran
Jobs 2
Files 77
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.456% (-0.2%) from 86.665%
26371170103

Pull #1117

github

web-flow 
Merge d6a996d42 into 7518c0964
Pull Request #1117: Make EbpfDomain self-contained; orthogonalize setup_entry

102 of 121 new or added lines in 7 files covered. (84.3%)

14 existing lines in 3 files now uncovered.

8924 of 10322 relevant lines covered (86.46%)

6544106.32 hits per line

Uncovered Changes

Lines Coverage ∆ File
18
84.62
 -3.97% src/crab/array_domain.cpp
1
92.22
 -0.03% src/crab/ebpf_transformer.cpp

Coverage Regressions

Lines Coverage ∆ File
7
79.4
 -2.08% src/crab/ebpf_domain.cpp
5
86.98
 -2.96% src/crab/type_to_num.cpp
2
84.62
 -3.97% src/crab/array_domain.cpp
Jobs
ID Job ID Ran Files Coverage
1 run-Debug - 26371170103.1 77
84.69
 GitHub Action Run
2 run-Release - 26371170103.2 77
85.59
 GitHub Action Run
Source Files on build 26371170103