vbpf / ebpf-verifier / 11195580928
91%

DEFAULT BRANCH: main
Ran
Jobs 2
Files 60
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: 90.289% (-0.1%) from 90.394%
11195580928

push

github

web-flow 
Log line info when dumping invariants (#716)

* Log line info when dumping invariants
* clang format and tidy crab_verifier.cpp
---------
Signed-off-by: Alan Jowett <alan.jowett@microsoft.com>
Co-authored-by: Elazar Gershuni <elazarg@gmail.com>

12 of 22 new or added lines in 1 file covered. (54.55%)

1 existing line in 1 file now uncovered.

8452 of 9361 relevant lines covered (90.29%)

8788188.26 hits per line

New Missed Lines in Diff

Lines Coverage ∆ File
10
73.62
 -5.05% src/crab_verifier.cpp

Uncovered Existing Lines

Lines Coverage ∆ File
1
73.62
 -5.05% src/crab_verifier.cpp
Jobs
ID Job ID Ran Files Coverage
1 run-Debug - 11195580928.1 218
75.68
 GitHub Action Run
2 run-Release - 11195580928.2 215
79.18
 GitHub Action Run
Source Files on build 11195580928