11 个版本
| 0.2.0 | 2023 年 9 月 4 日 |
|---|---|
| 0.1.9 | 2023 年 7 月 20 日 |
| 0.1.4 | 2023 年 2 月 13 日 |
| 0.1.2 | 2022 年 10 月 3 日 |
#309 in 测试
每月 50 次下载
用于 prusti-std
15KB
290 行
提供各种宏和类型，用于使用 Prusti 验证 crate。有关更多信息，请参阅 Prusti 的 用户指南 或 GitHub 页面。
当在不使用 Prusti 的情况下使用（例如，与 cargo build 一起）时，此 crate 将尽可能透明，并且不需要从依赖中删除。当运行 cargo prusti 时，"prusti" 特性将 自动 启用，从而导致此 crate 提供的进程宏完全展开。
依赖关系
~0–355KB