Stream: git-wasmtime

Topic: wasmtime / Issue #1851 Disable Cranelift debug verifier w...


view this post on Zulip Wasmtime GitHub notifications bot (Jun 09 2020 at 22:01):

github-actions[bot] commented on Issue #1851:

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 (Jun 10 2020 at 17:34):

fitzgen commented on Issue #1851:

It's not great that we have to turn off internal checks since that's
what fuzzing is supposed to trigger, but given the timeout on OSS-Fuzz
and the multiplicative effects of all the slowdowns we have when
fuzzing, I'm not sure we can afford the massive slowdown of the debug verifier.

Not much to say here, but I agree. Its unfortunate, but I think this is the right choice given our options.


Last updated: Dec 23 2024 at 12:05 UTC