Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add ability to disable specific Pitest mutations #271

Open
martinmladenov opened this issue May 16, 2024 · 2 comments
Open

Add ability to disable specific Pitest mutations #271

martinmladenov opened this issue May 16, 2024 · 2 comments
Labels
enhancement New feature or request

Comments

@martinmladenov
Copy link
Collaborator

It may be useful to disable certain mutations per assignment, e.g. per line number + mutation type. Pitest has support for this.
This would allow us to completely exclude equivalent mutants (rather than simply accounting for them in the grade calculation). It would also let us disable mutants causing infinite loops, which would speed up the mutation coverage calculation.

@martinmladenov martinmladenov added the enhancement New feature or request label May 16, 2024
@mauricioaniche
Copy link
Contributor

If not mistaken, there's already a method in the RunConfiguration to explicitly list the mutants to run.

@rstular
Copy link

rstular commented May 16, 2024

The method in RunConfiguration can only disable a mutation for the entirety of an assignment, not a specific mutation occurring on a specific line number.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request
Projects
None yet
Development

No branches or pull requests

3 participants