Skip to content

Issue #13501: Kill mutation for HtmlTag#13516

Merged
romani merged 1 commit intocheckstyle:masterfrom
Kevin222004:JDT
Aug 5, 2023
Merged

Issue #13501: Kill mutation for HtmlTag#13516
romani merged 1 commit intocheckstyle:masterfrom
Kevin222004:JDT

Conversation

@Kevin222004
Copy link
Copy Markdown
Contributor

@Kevin222004 Kevin222004 commented Aug 5, 2023

Issue #13501: Kill mutation for HtmlTag

Mutation

checkstyle/config/pitest-suppressions/pitest-javadoc-suppressions.xml

Lines 75 to 82 in 7e879f3

<mutation unstable="false">
<sourceFile>HtmlTag.java</sourceFile>
<mutatedClass>com.puppycrawl.tools.checkstyle.checks.javadoc.HtmlTag</mutatedClass>
<mutatedMethod>getText</mutatedMethod>
<mutator>org.pitest.mutationtest.engine.gregor.mutators.experimental.ArgumentPropagationMutator</mutator>
<description>replaced call to java/lang/Math::min with argument</description>
<lineContent>final int endOfText = Math.min(startOfText + MAX_TEXT_LEN, text.length());</lineContent>
</mutation>

Explaination

Test added

@Kevin222004 Kevin222004 mentioned this pull request Aug 5, 2023
Closed
61 tasks
@romani romani merged commit 5b0a442 into checkstyle:master Aug 5, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@romani romani romani approved these changes

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

2 participants

@Kevin222004 @romani