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 |
#950 in Testing
47 downloads per month
Used in 2 crates
(via prusti-contracts)
67KB
1.5K
SLoC
Internal Prusti proc-macro
crate. Must be a separate crate from prusti-contracts
due to Rust limitations.
Dependencies
~0–335KB