This is the designated place to suggest and discuss additional mutation operators. Catalin Hritcu has already suggested a mutation operator based on _removing_ constructors of inductive types.
This is the designated place to suggest and discuss additional mutation operators.
Catalin Hritcu has already suggested a mutation operator based on removing constructors of inductive types.