Stream: git-wasmtime

Topic: wasmtime / PR #11398 Further expand differential fuzzing ...


view this post on Zulip Wasmtime GitHub notifications bot (Aug 07 2025 at 21:19):

alexcrichton requested fitzgen for a review on PR #11398.

view this post on Zulip Wasmtime GitHub notifications bot (Aug 07 2025 at 21:19):

alexcrichton opened PR #11398 from alexcrichton:more-fuzzing-docs to bytecodealliance:main:

Split out the list of non-deterministic behaviors to its own separate section to both make it more easy to scan over and additionally have more fuzzing-related discussion such as generating programs that bake-in NaN canonicalization. I've also updated this to include WASIp1 APIs to discourage differential fuzzing of WASIp1 as the proposal is effectively not suitable for this. I've noted, though, that WASIp2-and-beyond should be suitable for differential fuzzing.

<!--
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 (Aug 07 2025 at 21:19):

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

view this post on Zulip Wasmtime GitHub notifications bot (Aug 07 2025 at 21:29):

fitzgen submitted PR review.

view this post on Zulip Wasmtime GitHub notifications bot (Aug 07 2025 at 21:29):

fitzgen created PR review comment:

Care to bold these for even faster scanning? Something like

* **NaN patterns:** ...
* **Relaxed SIMD:** ...
* ...

view this post on Zulip Wasmtime GitHub notifications bot (Aug 07 2025 at 21:30):

alexcrichton updated PR #11398.

view this post on Zulip Wasmtime GitHub notifications bot (Aug 07 2025 at 21:31):

alexcrichton has enabled auto merge for PR #11398.

view this post on Zulip Wasmtime GitHub notifications bot (Aug 07 2025 at 22:07):

alexcrichton merged PR #11398.


Last updated: Dec 06 2025 at 06:05 UTC