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

Do not report 100% if not all mutants were killed #638

Merged
merged 1 commit into from
May 16, 2023

Conversation

Vampire
Copy link
Contributor

@Vampire Vampire commented Aug 26, 2019

No description provided.

@Vampire Vampire force-pushed the max-99-percent-if-not-all-killed branch 3 times, most recently from 350b646 to 6af1895 Compare September 1, 2019 00:26
@Vampire Vampire force-pushed the max-99-percent-if-not-all-killed branch from 6af1895 to 3487f21 Compare September 26, 2019 10:31
@Vampire Vampire force-pushed the max-99-percent-if-not-all-killed branch from 3487f21 to 3dd6847 Compare October 5, 2019 12:36
@romani
Copy link
Contributor

romani commented Nov 16, 2021

@Vampire , is this PR to fix problem #375

@romani
Copy link
Contributor

romani commented Nov 16, 2021

@hcoles, please share what is wrong with this PR ?

@Vampire
Copy link
Contributor Author

Vampire commented Nov 16, 2021

I don't know whether it will fix it, but I guess so. I only wanted to fix the html report I think. I don't fully remember as I fixed it 2 years ago.

@Vampire Vampire force-pushed the max-99-percent-if-not-all-killed branch from 3dd6847 to 1e92adb Compare May 8, 2023 03:05
@Vampire
Copy link
Contributor Author

Vampire commented May 8, 2023

I updated this PR to latest master, maybe you have time for it now. :-)

@Vampire Vampire force-pushed the max-99-percent-if-not-all-killed branch 7 times, most recently from dea39ad to 8814cbc Compare May 12, 2023 16:39
@Vampire Vampire force-pushed the max-99-percent-if-not-all-killed branch from 8814cbc to f3597c6 Compare May 15, 2023 08:58
@Vampire Vampire force-pushed the max-99-percent-if-not-all-killed branch from f3597c6 to 0091f8b Compare May 15, 2023 15:01
@hcoles hcoles merged commit 6da159a into hcoles:master May 16, 2023
@Vampire Vampire deleted the max-99-percent-if-not-all-killed branch May 16, 2023 09:49
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants