vbpf / prevail / 24562453835
89%
main: 86%

LAST BUILD BRANCH: codex/reject-out-of-range-section-table
DEFAULT BRANCH: main
Ran
Jobs 2
Files 107
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.022% (-0.09%) from 89.111%
24562453835

Pull #1088

github

web-flow 
Merge 9153fed0d into 4bcdae66b
Pull Request #1088: Pass explicit AnalysisContext; treat VariableRegistry as a global service

378 of 415 new or added lines in 25 files covered. (91.08%)

16 existing lines in 8 files now uncovered.

13445 of 15103 relevant lines covered (89.02%)

4467485.66 hits per line

Uncovered Changes

Lines Coverage ∆ File
10
80.65
 -0.2% src/crab/ebpf_domain.cpp
7
76.52
 0.38% src/result.cpp
6
91.96
 0.03% src/crab/ebpf_transformer.cpp
5
89.11
 -0.7% src/crab/ebpf_checker.cpp
3
86.52
 0.0% src/ir/parse.cpp
2
90.24
 -0.23% src/crab/type_domain.cpp
2
85.53
 -5.65% src/crab/var_registry.cpp
2
57.63
 -0.04% src/printing.cpp

Coverage Regressions

Lines Coverage ∆ File
6
91.55
 -1.18% src/crab/zone_domain.cpp
4
85.53
 -5.65% src/crab/var_registry.cpp
1
88.41
 0.23% src/crab/array_domain.cpp
1
91.94
 -0.37% src/crab/bitset_domain.hpp
1
89.11
 -0.7% src/crab/ebpf_checker.cpp
1
90.24
 -0.23% src/crab/type_domain.cpp
1
88.46
 0.26% src/crab/type_to_num.cpp
1
78.95
 -5.26% src/string_constraints.hpp
Jobs
ID Job ID Ran Files Coverage
1 run-Debug - 24562453835.1 107
87.28
 GitHub Action Run
2 run-Release - 24562453835.2 107
88.22
 GitHub Action Run
Source Files on build 24562453835