Stream: git-wasmtime

Topic: wasmtime / PR #8121 Run all `*.wast` tests in fuzzing


view this post on Zulip Wasmtime GitHub notifications bot (Mar 13 2024 at 18:40):

alexcrichton opened PR #8121 from alexcrichton:fuzz-more-wast to bytecodealliance:main:

Currently we have a spectest fuzzer which uses fuzz input to generate an arbitrary configuration for Wasmtime and then executes the spec test. This ensures that no matter the configuration Wasmtime can pass spec tests. This commit expands this testing to include all *.wast tests we have in this repository. While we don't have a ton we still have some significant ones like in #8118 which will only reproduce when turning knobs on CPU features.

<!--
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 (Mar 13 2024 at 18:40):

alexcrichton requested elliottt for a review on PR #8121.

view this post on Zulip Wasmtime GitHub notifications bot (Mar 13 2024 at 18:40):

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

view this post on Zulip Wasmtime GitHub notifications bot (Mar 13 2024 at 18:40):

alexcrichton requested fitzgen for a review on PR #8121.

view this post on Zulip Wasmtime GitHub notifications bot (Mar 13 2024 at 18:40):

alexcrichton requested wasmtime-core-reviewers for a review on PR #8121.

view this post on Zulip Wasmtime GitHub notifications bot (Mar 13 2024 at 18:44):

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

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:

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 (Mar 13 2024 at 18:49):

alexcrichton updated PR #8121.

view this post on Zulip Wasmtime GitHub notifications bot (Mar 13 2024 at 19:02):

alexcrichton updated PR #8121.

view this post on Zulip Wasmtime GitHub notifications bot (Mar 13 2024 at 20:38):

fitzgen submitted PR review:

Nice!

view this post on Zulip Wasmtime GitHub notifications bot (Mar 13 2024 at 21:04):

fitzgen merged PR #8121.


Last updated: Dec 23 2024 at 12:05 UTC