The metamorphic mutations of the counterexample suite: MutationProgram is how a pass sees a program, MutationPasses are the rewrites, and the observations are what no rewrite may change.
The metamorphic mutations of the counterexample suite: MutationProgram is how a pass sees a program, MutationPasses are the rewrites, and the observations are what no rewrite may change.