Stream: git-wasmtime

Topic: wasmtime / PR #9452 Add a test that fuzzers generate wasm...


view this post on Zulip Wasmtime GitHub notifications bot (Oct 10 2024 at 22:38):

alexcrichton opened PR #9452 from alexcrichton:test-that-fuzzers-work to bytecodealliance:main:

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

<!--
Please make sure you include the following information:

Our development process is documented in the Wasmtime book:
https://docs.wasmtime.dev/contributing-development-process.html

Please ensure all communication follows the code of conduct:
https://github.com/bytecodealliance/wasmtime/blob/main/CODE_OF_CONDUCT.md
-->

view this post on Zulip Wasmtime GitHub notifications bot (Oct 10 2024 at 22:38):

alexcrichton requested fitzgen for a review on PR #9452.

view this post on Zulip Wasmtime GitHub notifications bot (Oct 10 2024 at 22:38):

alexcrichton requested wasmtime-fuzz-reviewers for a review on PR #9452.

view this post on Zulip Wasmtime GitHub notifications bot (Oct 10 2024 at 22:38):

alexcrichton requested wasmtime-default-reviewers for a review on PR #9452.

view this post on Zulip Wasmtime GitHub notifications bot (Oct 10 2024 at 22:53):

alexcrichton commented on PR #9452:

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.

view this post on Zulip Wasmtime GitHub notifications bot (Oct 10 2024 at 23:44):

github-actions[bot] commented on PR #9452:

Subscribe to Label Action

cc @fitzgen

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

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

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

Learn more.
</details>

view this post on Zulip Wasmtime GitHub notifications bot (Oct 10 2024 at 23:55):

fitzgen submitted PR review:

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

view this post on Zulip Wasmtime GitHub notifications bot (Oct 11 2024 at 01:51):

alexcrichton merged PR #9452.


Last updated: Nov 22 2024 at 16:03 UTC