Stream: git-wasmtime

Topic: wasmtime / Issue #2453 Add differential fuzzing against w...

view this post on Zulip Wasmtime GitHub notifications bot (Nov 25 2020 at 23:48):

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

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 (Dec 02 2020 at 00:32):

cfallin commented on Issue #2453:

Updated, thanks!

It turns out that wasmi doesn't canonicalize NaNs (paritytech/wasmi#19) so I've disabled fuzzing of modules with FP ops for now. If it seems worthwhile, we can add a Config option to wasm-smith for that too, but fuzzing seems to be getting coverage pretty efficiently right now as I watch it run.

This fails the "publish" check because it's using a crate-source patch in the root Cargo.toml for wasm-smith; @fitzgen, would you mind publishing a new version to crates.io?

view this post on Zulip Wasmtime GitHub notifications bot (Dec 02 2020 at 00:41):

fitzgen commented on Issue #2453:

This fails the "publish" check because it's using a crate-source patch in the root Cargo.toml for wasm-smith; @fitzgen, would you mind publishing a new version to crates.io?

Sure thing.

view this post on Zulip Wasmtime GitHub notifications bot (Dec 02 2020 at 00:43):

fitzgen commented on Issue #2453:

Done!

view this post on Zulip Wasmtime GitHub notifications bot (Dec 02 2020 at 00:48):

cfallin commented on Issue #2453:

Thanks! Updated.

I also just added an experimental_x64 feature flag to the fuzz crate so that we can fuzz the new backend.

view this post on Zulip Wasmtime GitHub notifications bot (Dec 02 2020 at 01:52):

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

Subscribe to Label Action

cc @peterhuene

<details>
This issue or pull request has been labeled: "wasmtime:api"

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>

Last updated: Nov 22 2024 at 16:03 UTC