Stream: git-wasmtime

Topic: wasmtime / PR #4386 Update differential fuzzing configura...

Wasmtime GitHub notifications bot (Jul 05 2022 at 19:24):

alexcrichton opened PR #4386 from change-fuzz-config to main:

This uses some new features of wasm-smith and additionally tweaks the
existing fuzz configuration:

• More than one function is now allowed to be generated. There's no
  particular reason to limit differential execution to just one and we
  may want to explore other interesting module shapes.

• More than one function type is now allowed to possibly allow more
  interesting block types.

• Memories are now allowed to grow beyond one page, but still say small
  by staying underneath 10 pages.

• Tables are now always limited in their growth to ensure consistent
  behavior across engines (e.g. with the pooling allocator vs v8).

• The export_everything feature is used instead of specifying a
  min/max number of exports.

The wasmi differential fuzzer was updated to still work if memory is
exported, but otherwise the v8 differential fuzzer already worked if a
function was exported but a memory wasn't. Both fuzzers continue to
execute only the first exported function.

Also notable from this update is that the SwarmConfig from
wasm-smith will now include an arbitrary allowed_instructions
configuration which may help explore the space of interesting modules
more effectively.

<!--

Please ensure that the following steps are all taken care of before submitting
the PR.

• [ ] This has been discussed in issue #..., or if not, please tell us why
  here.

• [ ] A short description of what this does, why it is needed; if the
  description becomes long, the matter should probably be discussed in an issue
  first.

• [ ] This PR contains test cases, if meaningful.

• [ ] A reviewer from the core maintainer team has been assigned for this PR.
  If you don't know who could review this, please indicate so. The list of
  suggested reviewers on the right can help you.

Please ensure all communication adheres to the code of conduct.
-->

Wasmtime GitHub notifications bot (Jul 05 2022 at 19:44):

cfallin submitted PR review.

Wasmtime GitHub notifications bot (Jul 05 2022 at 19:44):

cfallin created PR review comment:

s/consisten/consistent/

Wasmtime GitHub notifications bot (Jul 05 2022 at 19:44):

cfallin submitted PR review.

Wasmtime GitHub notifications bot (Jul 05 2022 at 19:44):

cfallin created PR review comment:

s/hidding/hitting/

Wasmtime GitHub notifications bot (Jul 05 2022 at 19:51):

alexcrichton updated PR #4386 from change-fuzz-config to main.

Wasmtime GitHub notifications bot (Jul 05 2022 at 19:51):

alexcrichton has enabled auto merge for PR #4386.

Wasmtime GitHub notifications bot (Jul 05 2022 at 21:14):

alexcrichton merged PR #4386.

Last updated: Dec 23 2024 at 13:07 UTC