Wasmtime GitHub notifications bot (Feb 17 2023 at 19:10): Wasmtime GitHub notifications bot (Feb 17 2023 at 19:10):afonso360 opened PR #5820 from fuzzgen-move-structs to main:
:wave: Hey,
This PR is built on top of #5765, sorry about chaining these PR's so much, but doing it on top of main would cause conflicts with the two other PR's.
This PR does some cleanup around fuzzgen that @jameysharp sugested in https://github.com/bytecodealliance/wasmtime/pull/5764#issuecomment-1431781405.
Namely:
- It moves the
Arbitrarystructs from fuzzgen into the individual fuzzers.
- This also allows us to keep
ALLOWED_LIBCALLSnear the interpreter implementation, which need to be updated together.- It centralizes the testcase printing infrastructure in a helper struct provided by fuzzgen.
Wasmtime GitHub notifications bot (Feb 17 2023 at 19:10):afonso360 requested jameysharp for a review on PR #5820.
Wasmtime GitHub notifications bot (Feb 17 2023 at 23:23):jameysharp submitted PR review.
Wasmtime GitHub notifications bot (Feb 17 2023 at 23:23):jameysharp submitted PR review.
Wasmtime GitHub notifications bot (Feb 17 2023 at 23:23):jameysharp created PR review comment:
write_non_default_flagsprobably doesn't need to bepubnow, right?
Wasmtime GitHub notifications bot (Mar 04 2023 at 18:49):afonso360 updated PR #5820 from fuzzgen-move-structs to main.
Wasmtime GitHub notifications bot (Mar 04 2023 at 18:52):afonso360 updated PR #5820 from fuzzgen-move-structs to main.
Wasmtime GitHub notifications bot (Mar 04 2023 at 19:00):afonso360 has enabled auto merge for PR #5820.
Wasmtime GitHub notifications bot (Mar 04 2023 at 19:51):afonso360 merged PR #5820.
Last updated: Dec 23 2024 at 12:05 UTC