search

mc-imperial / dredd

A mutation testing tool designed to work with large C++ (and C) codebases.
Apache License 2.0
13 stars 3 forks source link

Simplify relationship between mutations and mutation visitor #171

Closed afd closed 11 months ago

afd commented 1 year ago

In the current design, each mutation object should lead to at least one mutation being applied. It's up to the mutation visitor to ensure that it doesn't create mutation objects that would lead to 0 mutations being applied. Now that we have optimisations this becomes tricky to ensure, and it would simplify the code base to have each mutation class check all its preconditions, and to have mutations that lead to no effect simply be ignored.

afd commented 11 months ago

I believe the requirement for at least one mutation to be applied was dropped. Either way, this has not proven to be a problem recently, so closing.