Skip to content
Back to pull request #48

Add Kani model checking for MacAddr's TryFrom and as_array() #301

Sign in to view logs

Add Kani model checking for MacAddr's TryFrom and as_array()

Add Kani model checking for MacAddr's TryFrom and as_array() #301

Triggered via push February 8, 2025 13:21
@oherralaoherrala
pushed 8a661b9
u64-macaddr
Status Success
Total duration 37s
Artifacts –

rust_stable.yml

on: push
lints
28s
lints
Fit to window
Zoom out
Zoom in