vbpf / prevail / 24614804025
89%
main: 86%

LAST BUILD BRANCH: codex/reject-out-of-range-section-table
DEFAULT BRANCH: main
Ran
Jobs 2
Files 106
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: 89.041% (+0.02%) from 89.022%
24614804025

Pull #1091

github

web-flow 
Merge db3c7a095 into 3ae3084bc
Pull Request #1091: Remove thread_local_program_info; make Program self-contained

137 of 155 new or added lines in 20 files covered. (88.39%)

36 existing lines in 7 files now uncovered.

13414 of 15065 relevant lines covered (89.04%)

4477838.54 hits per line

Uncovered Changes

Lines Coverage ∆ File
7
76.15
 -0.38% src/result.cpp
4
81.99
 1.34% src/crab/ebpf_domain.cpp
4
50.0
 0.0% src/verifier.hpp
1
89.8
 0.7% src/crab/ebpf_checker.cpp
1
85.51
 0.11% src/linux/linux_platform.cpp
1
57.71
 0.08% src/printing.cpp

Coverage Regressions

Lines Coverage ∆ File
12
85.51
 0.11% src/linux/linux_platform.cpp
11
86.44
 0.03% src/ir/cfg_builder.cpp
6
95.09
 0.06% src/fwd_analyzer.cpp
3
94.18
 0.06% src/test/test_failure_slice.cpp
2
57.71
 0.08% src/printing.cpp
1
81.99
 1.34% src/crab/ebpf_domain.cpp
1
90.91
 -0.27% src/test/test_verify_multithreading.cpp
Jobs
ID Job ID Ran Files Coverage
1 run-Debug - 24614804025.1 106
87.29
 GitHub Action Run
2 run-Release - 24614804025.2 106
88.24
 GitHub Action Run
Source Files on build 24614804025