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

MPL-2.0 license

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