Skip to content

[fuzz] Remove more fuzz targets#4737

Merged
alexcrichton merged 2 commits into
bytecodealliance:mainfrom
abrown:remove-more-fuzz-targets
Aug 19, 2022
Merged

[fuzz] Remove more fuzz targets#4737
alexcrichton merged 2 commits into
bytecodealliance:mainfrom
abrown:remove-more-fuzz-targets

Conversation

@abrown
Copy link
Copy Markdown
Member

@abrown abrown commented Aug 19, 2022

This PR removes the differential fuzz target since its functionality is already covered by the differential_meta target. Then, it renames differential_meta to differential.

@abrown
Copy link
Copy Markdown
Member Author

abrown commented Aug 19, 2022

This PR is dependent on #4735; wait for that one to merge first.

@github-actions github-actions Bot added the fuzzing Issues related to our fuzzing infrastructure label Aug 19, 2022
@github-actions
Copy link
Copy Markdown

Subscribe to Label Action

cc @fitzgen

Details This issue or pull request has been labeled: "fuzzing"

Thus the following users have been cc'd because of the following labels:

  • fitzgen: fuzzing

To subscribe or unsubscribe from this label, edit the .github/subscribe-to-label.json configuration file.

Learn more.

abrown added 2 commits August 19, 2022 09:51
This functionality is already covered by the `differential_meta` target.
Now that the `differential_meta` fuzz target does everything that the
existing `differential` target did and more, it can take over the
original name.
@abrown abrown force-pushed the remove-more-fuzz-targets branch from dc0f86f to 9c96b88 Compare August 19, 2022 16:51
@abrown abrown requested a review from alexcrichton August 19, 2022 16:52
@abrown abrown marked this pull request as ready for review August 19, 2022 16:55
@alexcrichton alexcrichton enabled auto-merge (squash) August 19, 2022 17:02
@alexcrichton alexcrichton merged commit 9758f54 into bytecodealliance:main Aug 19, 2022
@abrown abrown deleted the remove-more-fuzz-targets branch August 19, 2022 17:43
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

fuzzing Issues related to our fuzzing infrastructure

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants