vbpf / prevail / 26370825090
86%
main: 86%

LAST BUILD BRANCH: principled-context-cleanup
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.453% (-0.2%) from 86.665%
26370825090

Pull #1117

github

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

101 of 120 new or added lines in 7 files covered. (84.17%)

21 existing lines in 4 files now uncovered.

8922 of 10320 relevant lines covered (86.45%)

6544641.61 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
7
94.84
 0.0% src/fwd_analyzer.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 - 26370825090.1 77
84.68
 GitHub Action Run
2 run-Release - 26370825090.2 77
85.58
 GitHub Action Run
Source Files on build 26370825090