Stream: git-wasmtime

Topic: wasmtime / PR #10487 fuzz: enable `relxed-simd` for the W...

view this post on Zulip Wasmtime GitHub notifications bot (Mar 29 2025 at 16:53):

Robbepop opened PR #10487 from Robbepop:rf-update-fuzzing-to-wasmi-v0.44.0 to bytecodealliance:main:

This enables relaxed-simd for the Wasmi differential fuzzing oracle.

Note that the relaxed-simd proposal support is very new for Wasmi. I have only ran Wasmi's differential fuzzing for ~45 minutes before it crashed with the already known Wasmtime bug.

Feel free to accept or close this PR.

view this post on Zulip Wasmtime GitHub notifications bot (Mar 29 2025 at 16:53):

Robbepop requested alexcrichton for a review on PR #10487.

view this post on Zulip Wasmtime GitHub notifications bot (Mar 29 2025 at 16:53):

Robbepop requested wasmtime-default-reviewers for a review on PR #10487.

view this post on Zulip Wasmtime GitHub notifications bot (Mar 29 2025 at 16:53):

Robbepop requested wasmtime-fuzz-reviewers for a review on PR #10487.

view this post on Zulip Wasmtime GitHub notifications bot (Mar 29 2025 at 16:53):

Robbepop edited PR #10487:

This enables relaxed-simd for the Wasmi differential fuzzing oracle.

Note that the relaxed-simd proposal support is very new for Wasmi. I have only ran Wasmi's differential fuzzing for ~45 minutes before it crashed with the already known Wasmtime bug.

Last updated: Apr 18 2025 at 02:29 UTC