Skip to content

Add more safety proof to KnownLayout derive #3920

Add more safety proof to KnownLayout derive

Add more safety proof to KnownLayout derive #3920

Run tests under Kani

succeeded May 18, 2024 in 1m 17s