README

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

The src directory contains supporting Rust code.