Skip to content

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

Merged
giammirove-aws merged 1 commit into
firecracker-microvm:mainfrom
feliperodri:kani-ethernet-variable-length
Nov 2, 2026
Merged

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

Commits

  1. Commits on Oct 30, 2026