Stream: git-wasmtime

Topic: wasmtime / PR #7433 fuzzgen: Allow restricting generated ...

view this post on Zulip Wasmtime GitHub notifications bot (Oct 31 2023 at 23:51):

afonso360 opened PR #7433 from afonso360:fuzzgen-restrict-inst to bytecodealliance:main:

:wave: Hey,

This PR allows users to pass a environment variable to fuzzgen that restricts the instructions that it can generate. Passing FUZZGEN_ALLOWED_OPS=ineg,ushr restricts fuzzgen to generate only those two instructions.

Using this allows me to get better fuzzing throughput when testing a specific rule or lowering.

view this post on Zulip Wasmtime GitHub notifications bot (Oct 31 2023 at 23:51):

afonso360 requested elliottt for a review on PR #7433.

view this post on Zulip Wasmtime GitHub notifications bot (Oct 31 2023 at 23:51):

afonso360 requested wasmtime-compiler-reviewers for a review on PR #7433.

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

elliottt submitted PR review:

This looks good to me! It would be great to document this, but the most relevant doc I could find is fuzz/README.md. Does that seem like a reasonable place?

view this post on Zulip Wasmtime GitHub notifications bot (Nov 01 2023 at 00:15):

afonso360 requested wasmtime-fuzz-reviewers for a review on PR #7433.

view this post on Zulip Wasmtime GitHub notifications bot (Nov 01 2023 at 00:15):

afonso360 updated PR #7433.

view this post on Zulip Wasmtime GitHub notifications bot (Nov 01 2023 at 09:36):

afonso360 merged PR #7433.

Last updated: Dec 23 2024 at 12:05 UTC