Lib.rs

›
#mutation #prover #move #testing

已删除 prover-mutation

Move Prover变异测试

由 Diem 创建，所有者 aptos-crates。

0.3.2 2022年8月23日
0.3.1 2022年8月13日
0.2.1 2022年7月22日
0.1.6 2022年7月5日
0.1.4 2022年5月24日

#23 in #prover

Apache-2.0

18KB
288 行

此包包含将变异测试应用于Move Prover代码实例的工具。

src 目录包含辅助的Rust代码。

依赖项

~26–40MB
~602K SLoC