Stream: git-wasmtime

Topic: wasmtime / issue #5820 fuzzgen: Move `Arbitrary` structs ...


view this post on Zulip Wasmtime GitHub notifications bot (Feb 17 2023 at 22:51):

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

Subscribe to Label Action

cc @fitzgen

<details>
This issue or pull request has been labeled: "cranelift", "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 (Mar 04 2023 at 19:00):

afonso360 commented on issue #5820:

Rebased this onto the latest main.

As a neat bonus, this also means that if we want statistics about how many times we rejected a fuzz input, like you were checking for a while, now we can reference static variables that are local to each fuzz-target from inside the implementation of Arbitrary.

Yeah, that's a great idea! I'll put a PR up for that!

view this post on Zulip Wasmtime GitHub notifications bot (Mar 04 2023 at 19:00):

afonso360 edited a comment on issue #5820:

Rebased this onto the latest main and fixed the issue above.

As a neat bonus, this also means that if we want statistics about how many times we rejected a fuzz input, like you were checking for a while, now we can reference static variables that are local to each fuzz-target from inside the implementation of Arbitrary.

Yeah, that's a great idea! I'll put a PR up for that!


Last updated: Nov 22 2024 at 16:03 UTC