Stream: git-wasmtime

Topic: wasmtime / PR #2696 fuzz: Remove peepmatic fuzz targets


view this post on Zulip Wasmtime GitHub notifications bot (Mar 01 2021 at 18:05):

fitzgen opened PR #2696 from remove-peepmatic-fuzz-targets to main:

There are occasional timeouts in type checking where Z3 hangs. This is a known
issue[0] with the implementation of type checking in Peepmatic, and getting
these timeouts in the fuzzers is just annoying and adds noise to our fuzzing
results. When we fix [0] we can reintroduce these fuzz targets.

[0]: https://github.com/bytecodealliance/wasmtime/issues/2695

<!--

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 (Mar 01 2021 at 18:05):

fitzgen requested cfallin for a review on PR #2696.

view this post on Zulip Wasmtime GitHub notifications bot (Mar 01 2021 at 18:08):

cfallin submitted PR Review.

view this post on Zulip Wasmtime GitHub notifications bot (Mar 01 2021 at 20:59):

fitzgen merged PR #2696.


Last updated: Dec 23 2024 at 12:05 UTC