Stream: git-wasmtime

Topic: wasmtime / PR #4735 [fuzz] Remove some differential fuzz ...


view this post on Zulip Wasmtime GitHub notifications bot (Aug 19 2022 at 02:14):

abrown requested alexcrichton for a review on PR #4735.

view this post on Zulip Wasmtime GitHub notifications bot (Aug 19 2022 at 02:14):

abrown opened PR #4735 from remove-fuzz-targets to main:

The changes in #4515 do everything the differential_spec and
differential_wasmi fuzz target already do. These fuzz targets are now
redundant and this PR removes them. It also updates the fuzz
documentation slightly.

<!--

Please ensure that the following steps are all taken care of before submitting
the PR.

Please ensure all communication adheres to the code of conduct.
-->

view this post on Zulip Wasmtime GitHub notifications bot (Aug 19 2022 at 04:20):

alexcrichton submitted PR review.

view this post on Zulip Wasmtime GitHub notifications bot (Aug 19 2022 at 15:50):

abrown updated PR #4735 from remove-fuzz-targets to main.

view this post on Zulip Wasmtime GitHub notifications bot (Aug 19 2022 at 16:50):

abrown merged PR #4735.


Last updated: Dec 23 2024 at 13:07 UTC