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

Make --mutation-info-file optional #195

Merged
merged 4 commits into from
Jul 16, 2024

Conversation

JamesLee-Jones
Copy link
Collaborator

Make --mutation-info-file parameter optional as writing this file can cause issues if the mutation tree is too deep.

@JamesLee-Jones
Copy link
Collaborator Author

Encapsulating whether we want to build the mutation tree in protobufs seemed like the best choice. We can't readily use optional as mutation_info isn't initialised when it is passed to NewMutateFrontendActionFactory.

@JamesLee-Jones JamesLee-Jones requested a review from afd November 21, 2023 19:22
Copy link
Member

@afd afd left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I didn't do a proper review yet, but at a glance I don't like the idea of adding a use field to the top-level protobuf object. Presumably the idea is that if this field is false / 0, the protobuf is not in use.

I think it would be better to pass an optional around, such that if this optional is empty there is no protobuf object at all, and if it's not empty there is a complete protobuf object, so that no change to the protobuf description is required.

Would that be possible or is there a good reason why the use approach is needed?

@afd
Copy link
Member

afd commented Nov 22, 2023

@JamesLee-Jones as part of this PR, can you update the project README so that the instructions no longer use this option (and also remove the comments that explain that the option is mandatory but doesn't matter for purposes of the README examples)?

@afd
Copy link
Member

afd commented Nov 27, 2023

@JamesLee-Jones in my latest push I updated the README so that it does use the generated .json file in the math library example, so it's only for the simple pi example that we'd want to remove all trace of it.

@JamesLee-Jones JamesLee-Jones force-pushed the make-mutation-info-file-optional branch from da06368 to b931425 Compare January 30, 2024 14:19
@JamesLee-Jones JamesLee-Jones requested a review from afd January 30, 2024 14:21
@JamesLee-Jones JamesLee-Jones force-pushed the make-mutation-info-file-optional branch from 656c055 to 1be092d Compare June 16, 2024 14:34
@JamesLee-Jones JamesLee-Jones linked an issue Jun 16, 2024 that may be closed by this pull request
@JamesLee-Jones JamesLee-Jones marked this pull request as draft June 20, 2024 12:54
@afd
Copy link
Member

afd commented Jul 5, 2024

I now have bandwidth to look at this again if you want to rebase it and revise it if needed.

@JamesLee-Jones
Copy link
Collaborator Author

I now have bandwidth to look at this again if you want to rebase it and revise it if needed.

I'll revise it today along with the rest of the reviewed PRs.

@JamesLee-Jones JamesLee-Jones force-pushed the make-mutation-info-file-optional branch from 0bc0266 to c214728 Compare July 5, 2024 13:25
@JamesLee-Jones JamesLee-Jones marked this pull request as ready for review July 5, 2024 14:27
Copy link
Member

@afd afd left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looking good - small changes requested.

README.md Show resolved Hide resolved
src/libdredd/src/mutate_ast_consumer.cc Outdated Show resolved Hide resolved
@JamesLee-Jones JamesLee-Jones requested a review from afd July 11, 2024 11:19
Copy link
Member

@afd afd left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks! A few final wording things - can you attend to them and then merge? I don't need to re-review.

README.md Outdated Show resolved Hide resolved
README.md Outdated Show resolved Hide resolved
@afd
Copy link
Member

afd commented Jul 15, 2024

@JamesLee-Jones This needs a rebase, but otherwise should be good to go if you're able to attend to the minor edits.

Make `--mutation-info-file` parameter optional as writing this file can cause issues if
the mutation tree is too deep.
@JamesLee-Jones JamesLee-Jones force-pushed the make-mutation-info-file-optional branch from 71d86d7 to 854321c Compare July 16, 2024 15:07
@JamesLee-Jones JamesLee-Jones merged commit 6914b01 into main Jul 16, 2024
9 checks passed
@JamesLee-Jones JamesLee-Jones deleted the make-mutation-info-file-optional branch July 16, 2024 16:21
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.

Error writing JSON data when input file is large
2 participants