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

Add a test that fuzzers generate wasm proposals #9452

Merged

Conversation

alexcrichton
Copy link
Member

This commit adds a test to the wasmtime-fuzzing crate as a sanity-check that eventually a module is generated requiring all of the features that wasmtime supports. This is intended to be another double-check in the process of enabling a proposal in Wasmtime by ensuring that the feature is added to this list which then transitively requires that fuzzing eventually generates a module needing that feature.

cc #9449

This commit adds a test to the `wasmtime-fuzzing` crate as a
sanity-check that eventually a module is generated requiring all of the
features that wasmtime supports. This is intended to be another
double-check in the process of enabling a proposal in Wasmtime by
ensuring that the feature is added to this list which then transitively
requires that fuzzing eventually generates a module needing that feature.

cc bytecodealliance#9449
@alexcrichton
Copy link
Member Author

One thing I hope this can help guarantee is that if a feature is not listed in the list here then we're basically guaranteed we're not fuzzing it in the general-purpose fuzzers. That's a quick-and-easy check of "when stabilizing make sure the feature is in this list" because if not it doesn't check the fuzzing checkbox.

@github-actions github-actions bot added fuzzing Issues related to our fuzzing infrastructure wasmtime:docs Issues related to Wasmtime's documentation labels Oct 10, 2024
Copy link

Subscribe to Label Action

cc @fitzgen

This issue or pull request has been labeled: "fuzzing", "wasmtime:docs"

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.

Copy link
Member

@fitzgen fitzgen left a comment

Choose a reason for hiding this comment

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

Nice! Low effort but (hopefully) big long-term payoff.

@fitzgen fitzgen added this pull request to the merge queue Oct 10, 2024
@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to failed status checks Oct 10, 2024
@alexcrichton alexcrichton added this pull request to the merge queue Oct 11, 2024
Merged via the queue into bytecodealliance:main with commit ad6030f Oct 11, 2024
39 checks passed
@alexcrichton alexcrichton deleted the test-that-fuzzers-work branch October 11, 2024 01:51
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 wasmtime:docs Issues related to Wasmtime's documentation
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants