Stream: git-wasmtime

Topic: wasmtime / PR #9160 Ignore some tests that are slow in MIRI


view this post on Zulip Wasmtime GitHub notifications bot (Aug 21 2024 at 15:55):

fitzgen opened PR #9160 from fitzgen:slow-gc-array-tests-in-miri to bytecodealliance:main:

<!--
Please make sure you include the following information:

Our development process is documented in the Wasmtime book:
https://docs.wasmtime.dev/contributing-development-process.html

Please ensure all communication follows the code of conduct:
https://github.com/bytecodealliance/wasmtime/blob/main/CODE_OF_CONDUCT.md
-->

view this post on Zulip Wasmtime GitHub notifications bot (Aug 21 2024 at 15:55):

fitzgen requested pchickey for a review on PR #9160.

view this post on Zulip Wasmtime GitHub notifications bot (Aug 21 2024 at 15:55):

fitzgen requested wasmtime-core-reviewers for a review on PR #9160.

view this post on Zulip Wasmtime GitHub notifications bot (Aug 21 2024 at 16:10):

alexcrichton commented on PR #9160:

These tests aren't doing wasm compilation and in theory seem ripe for running in miri, could the store defaults perhaps be changed to make a smaller GC heap or something like that to enable them to run faster?

view this post on Zulip Wasmtime GitHub notifications bot (Aug 21 2024 at 18:57):

fitzgen updated PR #9160.


Last updated: Oct 23 2024 at 20:03 UTC