prover-mutation 0.2.1

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

The src directory contains supporting Rust code.