Skip to content

test(kani): cover short frames in ethernet from_bytes harnesses - #6367

Open
feliperodri wants to merge 1 commit into
firecracker-microvm:mainfrom
feliperodri:kani-ethernet-variable-length
Open

test(kani): cover short frames in ethernet from_bytes harnesses#6367
feliperodri wants to merge 1 commit into
firecracker-microvm:mainfrom
feliperodri:kani-ethernet-variable-length

test(kani): cover short frames in ethernet from_bytes harnesses

5712b25
Select commit
Loading
Failed to load commit list.
DCO / DCO succeeded Oct 30, 2026 in 1s

DCO

All commits are signed off!

View more details on DCO