vbpf / prevail / 21967508779
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.365% (+0.6%) from 86.783%
21967508779

Pull #998

github

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

522 of 668 new or added lines in 8 files covered. (78.14%)

6 existing lines in 1 file now uncovered.

10019 of 11468 relevant lines covered (87.36%)

2948614.11 hits per line

New Missed Lines in Diff

Lines Coverage ∆ File
1
83.59
 6.91% src/crab/ebpf_domain.cpp
1
88.89
 -11.11% src/result.hpp
11
93.92
 src/test/test_failure_slice.cpp
56
78.48
 3.01% src/result.cpp
77
59.82
 8.01% src/printing.cpp

Uncovered Existing Lines

Lines Coverage ∆ File
6
78.48
 3.01% src/result.cpp
Jobs
ID Job ID Ran Files Coverage
1 run-Debug - 21967508779.1 78
85.17
 GitHub Action Run
2 run-Release - 21967508779.2 77
86.49
 GitHub Action Run
Source Files on build 21967508779