2 ms·
You could also try the "contracts" crate: https://docs.rs/contracts/latest/contracts/ https://docs.rs/contracts/latest/contracts/
by thesuperbigfrog 2y ago
You could also try the "contracts" crate:
https://docs.rs/contracts/latest/contracts/ https://docs.rs/contracts/latest/contracts/
- nextaccountic 2y agoand you can use MIRAI, that takes the contracts defined by this crate and check them at compile time or, use prusti, that has contracts with a similar syntax checked at compile time as well