vbpf / prevail / 24615352625
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.017% (-0.005%) from 89.022%
24615352625

Pull #1091

github

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

139 of 153 new or added lines in 19 files covered. (90.85%)

8 existing lines in 5 files now uncovered.

13414 of 15069 relevant lines covered (89.02%)

4476221.11 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
1
89.8
 0.7% src/crab/ebpf_checker.cpp
1
94.01
 -1.02% src/fwd_analyzer.cpp
1
57.71
 0.08% src/printing.cpp

Coverage Regressions

Lines Coverage ∆ File
3
84.83
 -0.57% src/linux/linux_platform.cpp
2
57.71
 0.08% src/printing.cpp
1
81.99
 1.34% src/crab/ebpf_domain.cpp
1
94.01
 -1.02% src/fwd_analyzer.cpp
1
90.91
 -0.27% src/test/test_verify_multithreading.cpp
Jobs
ID Job ID Ran Files Coverage
1 run-Release - 24615352625.1 106
88.22
 GitHub Action Run
2 run-Debug - 24615352625.2 106
87.27
 GitHub Action Run
Source Files on build 24615352625