Mutation Testing

Mutation testing refers to changing the verified code in a way that is likely to cause a bug, and then checking that the modified code does not pass verification.

Todo

This feature is currently incomplete and undocumented.