We should document the available mutation operators somewhere in the repository, preferably with examples of how they affect Coq code. Most directly, we could add a file OPERATORS.md and list them all. This documentation could also be added to the inline help for mcoq.py.
We should document the available mutation operators somewhere in the repository, preferably with examples of how they affect Coq code. Most directly, we could add a file
OPERATORS.mdand list them all. This documentation could also be added to the inline help formcoq.py.