vbpf / prevail / 24960650890
89%
main: 86%

LAST BUILD BRANCH: codex/reject-out-of-range-section-table
DEFAULT BRANCH: main
Ran
Jobs 2
Files 111
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.28% (+0.1%) from 89.183%
24960650890

Pull #1101

github

web-flow 
Merge 29080a2e2 into e7046de42
Pull Request #1101: Split runtime semantics from presentation/orchestration (#1085)

187 of 192 new or added lines in 29 files covered. (97.4%)

48 existing lines in 4 files now uncovered.

13775 of 15429 relevant lines covered (89.28%)

4376520.66 hits per line

Uncovered Changes

Lines Coverage ∆ File
2
75.46
 0.0% src/test/ebpf_yaml.cpp
1
92.22
 0.0% src/crab/ebpf_transformer.cpp
1
57.2
 0.0% src/printing.cpp
1
77.04
 0.0% src/result.cpp

Coverage Regressions

Lines Coverage ∆ File
31
82.05
 0.07% src/crab/ebpf_domain.cpp
8
84.93
 0.0% src/linux/linux_platform.cpp
8
94.27
 0.0% src/test/test_failure_slice.cpp
1
94.12
 0.0% src/result.hpp
Jobs
ID Job ID Ran Files Coverage
1 run-Debug - 24960650890.1 111
87.6
 GitHub Action Run
2 run-Release - 24960650890.2 111
88.53
 GitHub Action Run
Source Files on build 24960650890