vbpf / ebpf-verifier / 11806824801

87%

Build Type

push

github

Committed by elazarg

Commit Message

fail hard when a non-Assume instruction turns an invariant into bottom

makes #679 visible.

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

Run Details

25 of 29 new or added lines in 3 files covered. (86.21%)

4 existing lines in 2 files now uncovered.

8533 of 9414 relevant lines covered (90.64%)

8809713.89 hits per line