Stream: git-wasmtime

Topic: wasmtime / issue #6432 winch(fuzz): Refactor Winch's fuzzing

view this post on Zulip Wasmtime GitHub notifications bot (May 22 2023 at 20:44):

github-actions[bot] commented on issue #6432:

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 (May 22 2023 at 22:50):

saulecabrera commented on issue #6432:

@alexcrichton I've update the PR according to our discussion, could you please take another look? For the record, this was an oversight from my end, the intention was not to enable Winch by default, so in https://github.com/bytecodealliance/wasmtime/pull/6432/commits/7ed113712bb5a6f574e70d23878ac0c421ca9b61 I've manually implemented Arbitrary for CompilerStrategy to unconditionally return Cranelift, then in the differential target, I override the strategy if the intention is to fuzz Winch.

Last updated: Nov 22 2024 at 17:03 UTC