the diff algorithm needs to be not only informative, but also capable of deleting some mutants from output results or mark them as "redundant"
the diff algorithm needs to be not only informative, but also capable of deleting some mutants from output results or mark them as "redundant"