2
87%
main: 87%

Ran 19 Mar 2025 09:20PM UTC

Files 66

Run time 32s

Badge

Embed ▾

Committed 19 Mar 2025 07:38PM UTC coverage: 87.86% (+0.5%) from 87.316%

Job # 13955273819.2

Build Type

push

github

Committed by

web-flow

Commit Message

Fix sign extension (#850)

* fix sign extension
* add exhaustive tests for sign extension of <=3 bits
* fix interval::size()
* streamline bit/width operations

---------
Signed-off-by: Elazar Gershuni <elazarg@gmail.com>

Run Details

8337 of 9489 relevant lines covered (87.86%)

4856854.4 hits per line

vbpf / ebpf-verifier / 13955273819 / 2
87%
main: 87%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job run-Release - 13955273819.2

vbpf / ebpf-verifier / 13955273819 / 2 87% main: 87%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job run-Release - 13955273819.2

vbpf / ebpf-verifier / 13955273819 / 2
87%
main: 87%

README BADGES
x