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:
- fitzgen: fuzzing
To subscribe or unsubscribe from this label, edit the <code>.github/subscribe-to-label.json</code> configuration file.
Learn more.
</details>
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
forCompilerStrategy
to unconditionally returnCranelift
, then in the differential target, I override the strategy if the intention is to fuzz Winch.
Last updated: Dec 23 2024 at 13:07 UTC