10 releases
| 0.2.0 | Sep 4, 2023 |
|---|---|
| 0.1.10 | Aug 11, 2023 |
| 0.1.9 | Jul 20, 2023 |
| 0.1.8 | Jun 26, 2023 |
| 0.1.1 | Sep 27, 2022 |
#961 in Testing
66 downloads per month
16KB
280 lines
Provides specifications for std functions. By importing this and adding extern crate prusti_std; to your root file, one can avoid needing to write external specifications. This crate does not replace prusti-contracts, you will still need to import the latter to write contracts in your crate.
Dependencies
~0–390KB