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.

Sign up for GitHub

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

Jump to bottom

Error: Patch input contains repeated filename: "/dev/null" #219

Closed
sourcefrog opened this issue Jan 2, 2024 · 1 comment · Fixed by #220
Closed

Error: Patch input contains repeated filename: "/dev/null" #219

sourcefrog opened this issue Jan 2, 2024 · 1 comment · Fixed by #220
Assignees
@sourcefrog
Labels
bug Something isn't working small

Comments

@sourcefrog
Copy link
Owner

If the --in-diff file contains multiple deleted files, then cargo-mutants fails with this error. It should instead understand that this name means the file was deleted, and just ignore those diffs.
@sourcefrog sourcefrog added the bug Something isn't working label Jan 2, 2024
@sourcefrog sourcefrog self-assigned this Jan 2, 2024
@sourcefrog
Copy link
Owner Author

sourcefrog commented Jan 2, 2024 •
edited
Loading

example: main.diff

caused a failure in https://github.com/sourcefrog/conserve/actions/runs/7388764099/job/20100227111

sourcefrog added a commit that referenced this issue Jan 2, 2024
@sourcefrog
Don't error if in-diff contains multiple deletions
751e4a1 
Fixes `Error: Patch input contains repeated filename: "/dev/null"` #219
@sourcefrog sourcefrog mentioned this issue Jan 2, 2024
Merged
@sourcefrog sourcefrog linked a pull request Jan 2, 2024 that will close this issue
Don't error if in-diff contains multiple deletions #220
Merged
sourcefrog added a commit that referenced this issue Jan 2, 2024
@sourcefrog
Don't error if in-diff contains multiple deletions (#220)
a8873f1 
Fixes `Error: Patch input contains repeated filename: "/dev/null"` #219
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@sourcefrog sourcefrog

Labels
bug Something isn't working small
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Don't error if in-diff contains multiple deletions sourcefrog/cargo-mutants
1 participant
@sourcefrog