vbpf / prevail / 21974062110
87%
main: 86%

LAST BUILD BRANCH: milestones
DEFAULT BRANCH: main
Ran
Jobs 2
Files 78
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: 87.318% (+0.5%) from 86.783%
21974062110

Pull #998

github

web-flow 
Merge 4f612525d into f1f1d42d7
Pull Request #998: Add failure slicing for verification errors

531 of 680 new or added lines in 8 files covered. (78.09%)

1 existing line in 1 file now uncovered.

10025 of 11481 relevant lines covered (87.32%)

2945736.08 hits per line

New Missed Lines in Diff

Lines Coverage ∆ File
1
83.59
 6.91% src/crab/ebpf_domain.cpp
1
90.91
 -9.09% src/result.hpp
12
93.44
 src/test/test_failure_slice.cpp
58
77.17
 1.7% src/result.cpp
77
59.82
 8.01% src/printing.cpp

Uncovered Existing Lines

Lines Coverage ∆ File
1
77.17
 1.7% src/result.cpp
Jobs
ID Job ID Ran Files Coverage
1 run-Debug - 21974062110.1 78
85.12
 GitHub Action Run
2 run-Release - 21974062110.2 77
86.44
 GitHub Action Run
Source Files on build 21974062110