1
87%
main: 87%

Ran 22 Oct 2025 09:41AM UTC

Files 73

Run time 2s

Badge

Embed ▾

Committed 22 Oct 2025 06:29AM UTC coverage: 86.429% (-0.5%) from 86.962%

Job # 18707463436.1

Build Type

push

github

Committed by

web-flow

Commit Message

Replace assertion warnings with exception-based errors (#930)

* The assume_assertions option and the ebpf_domain_assume function are completely removed.
* The concept of "warnings" is renamed to "errors" across the codebase.
* EbpfChecker now throws this exception immediately upon an assertion failure.
* The forward analyzer now catches VerificationError (via ebpf_domain_check), stores the error in the node's invariant, and stops processing that path.
---------

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

Run Details

8706 of 10073 relevant lines covered (86.43%)

5730937.38 hits per line

vbpf / prevail / 18707463436 / 1
87%
main: 87%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job run-Release - 18707463436.1

vbpf / prevail / 18707463436 / 1 87% main: 87%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job run-Release - 18707463436.1

vbpf / prevail / 18707463436 / 1
87%
main: 87%

README BADGES
x