Skip to content
Kani Format Check

Fix the computation of the number of bytes of a pointer offset #559

Sign in to view logs

Fix the computation of the number of bytes of a pointer offset

Fix the computation of the number of bytes of a pointer offset #559

clippy-check

clippy-check
succeeded Oct 9, 2024 in 2m 16s