#mutation #prover #move #testing

yanked prover-mutation

Move Prover mutation

0.3.2 Aug 23, 2022
0.3.1 Aug 13, 2022
0.2.1 Jul 22, 2022
0.1.6 Jul 5, 2022
0.1.4 May 24, 2022

#23 in #prover

Apache-2.0

18KB
288 lines

This crate contains tools for applying mutation testing to an instance of move prover code.

The src directory contains supporting Rust code.

Dependencies

~26–40MB
~602K SLoC