prover-mutation-0.1.5 has been yanked.
This crate contains tools for applying mutation testing to an instance of move prover code.
The src directory contains supporting Rust code.
This crate contains tools for applying mutation testing to an instance of move prover code.
The src directory contains supporting Rust code.