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 |
#1018 in Testing
52 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–350KB