Wasmtime GitHub notifications bot (Feb 17 2023 at 22:51): 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:
- fitzgen: fuzzing
To subscribe or unsubscribe from this label, edit the <code>.github/subscribe-to-label.json</code> configuration file.
Learn more.
</details>
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!
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: Oct 23 2024 at 20:03 UTC