vbpf / ebpf-verifier / 8101417190
90%
main: 91%

LAST BUILD BRANCH: err-on-nonassume-bottom
DEFAULT BRANCH: main
Ran
Jobs 2
Files 57
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.316% (-0.03%) from 90.344%
8101417190

Pull #558

github

web-flow 
Merge c04208d8b into 4203e990b
Pull Request #558: Add other atomic instructions

111 of 125 new or added lines in 10 files covered. (88.8%)

3 existing lines in 2 files now uncovered.

8067 of 8932 relevant lines covered (90.32%)

12551287.22 hits per line

New Missed Lines in Diff

Lines Coverage ∆ File
1
94.01
 0.04% src/crab/ebpf_domain.cpp
13
56.84
 -2.0% src/asm_ostream.cpp

Uncovered Existing Lines

Lines Coverage ∆ File
1
94.01
 0.04% src/crab/ebpf_domain.cpp
2
56.84
 -2.0% src/asm_ostream.cpp
Jobs
ID Job ID Ran Files Coverage
1 run-Release - 8101417190.1 185
79.79
 GitHub Action Run
2 run-Debug - 8101417190.2 187
77.26
 GitHub Action Run
Source Files on build 8101417190