Increase timeout of kani tests#4765

Merged

bchalios merged 1 commit intofirecracker-microvm:mainfrom

bchalios:increase_kani_time_limit

Sep 2, 2024

Commits on Sep 2, 2024

fix(test): increase timeout of kani tests
bchalios
committed