Skip to content

Update library/kani_core/src/models.rs #1578

Update library/kani_core/src/models.rs

Update library/kani_core/src/models.rs #1578

Annotations

4 warnings

regression (macos-14)

succeeded Nov 22, 2024 in 41m 46s