[1.11] backport Kani fixes#5107

Merged

ShadowCurse merged 6 commits intofirecracker-microvm:firecracker-v1.11from

kalyazin:kani-1.11

Mar 24, 2025

Commits on Mar 24, 2025

feat: add option to not add kani bk step

ShadowCurse
authored and
kalyazin
committed
chore: increase timeout for kani tests

ShadowCurse
authored and
kalyazin
committed
kani: stop using deprecated cli args

roypat
authored and
kalyazin
committed
buildkite: run kani if devctr is modified

roypat
authored and
kalyazin
committed
refactor: stop using loops in byte_order.rs

roypat
authored and
kalyazin
committed
kani: remove stubbing from dumbo harnesses

roypat
authored and
kalyazin
committed