Stream: git-wasmtime

Topic: wasmtime / PR #3879 fuzz: Increase table limit in differe...


view this post on Zulip Wasmtime GitHub notifications bot (Mar 03 2022 at 15:15):

alexcrichton opened PR #3879 from fix-diff-v8-fuzz to main:

When manually increasing the table limit in this specific fuzzer we also
need to increase the limit in the pooling allocator itself if
configured.

<!--

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 03 2022 at 17:23):

fitzgen submitted PR review.

view this post on Zulip Wasmtime GitHub notifications bot (Mar 03 2022 at 17:24):

fitzgen merged PR #3879.


Last updated: Dec 23 2024 at 12:05 UTC