Expand description
Reusable Kani formal verification harnesses for Solana program math.
This crate is intentionally a no-op in normal builds. Everything is gated
behind cfg(kani).
Reusable Kani formal verification harnesses for Solana program math.
This crate is intentionally a no-op in normal builds. Everything is gated
behind cfg(kani).