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

The `src` directory contains supporting Rust code.