Dredd mutates binary operators to non-redundant operators according to
the rules defined in the referenced paper. Previously, this optimization
allowed for equivalent mutations in the case of unsigned types. A
similar analysis to that described in the paper can be done to
avoid redundant or equivalent mutations for unsigned types.
Dredd mutates binary operators to non-redundant operators according to the rules defined in the referenced paper. Previously, this optimization allowed for equivalent mutations in the case of unsigned types. A similar analysis to that described in the paper can be done to avoid redundant or equivalent mutations for unsigned types.
Non-redundant mutation paper: https://people.cs.umass.edu/~rjust/publ/non_redundant_mutants_jstvr_2014.pdf
Fixes #240