11 releases
0.2.0 | Sep 4, 2023 |
---|---|
0.1.9 | Jul 20, 2023 |
0.1.4 | Feb 13, 2023 |
0.1.2 | Oct 3, 2022 |
#378 in Testing
Used in prusti-std
15KB
290 lines
Provides various macros and types needed for verification of a crate with Prusti. See the Prusti user guide or GitHub page for more information.
When used without Prusti (e.g. with cargo build
) this crate will be as transparent as possible and does not need to be removed from the dependencies. When running cargo prusti
the "prusti"
feature is automatically enabled, resulting in the full expansion of the procedural macros this crate provides.
Dependencies
~0–365KB