#mutation #prover #mutation-testing #move

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

#15 in #mutation-testing

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

~28–41MB
~647K SLoC