Skip to content

mutation: fix mutants' folder name#33

Merged
brunoerg merged 1 commit intomainfrom
2026-02-fixes-folder-name
Feb 12, 2026
Merged

mutation: fix mutants' folder name#33
brunoerg merged 1 commit intomainfrom
2026-02-fixes-folder-name

Conversation

@brunoerg
Copy link
Owner

Fixes #32

@brunoerg brunoerg merged commit b9c71da into main Feb 12, 2026
1 check passed
@brunoerg brunoerg deleted the 2026-02-fixes-folder-name branch February 12, 2026 00:24
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.

When defining the name of the folder for the mutants, consider the mutated file's folder.

1 participant