irrio opened PR #10057 from irrio:wasmtime-test-macro-pulley to bytecodealliance:main:
This PR updates the
#[wasmtime_test]macro to add support for Pulley.This was one of the last remaining items in the Pulley TODO List #9747, I figured I'd try to knock it out.
I've renamed the
Craneliftcompilation strategy toCraneliftNativein order to disambiguate it fromCraneliftPulleyand to directly match the symbol in theCompilerenum.
CraneliftPulleyis now included by default in the compilation strategies used by#[wasmtime_test].In order to support the tests that are targeting Winch specifically, I've added an
only(...)specifier. So instead of#[wasmtime_test(strategies(not(Cranelift)))]it would be#[wasmtime_test(strategies(only(Winch)))].Now that the
wrap_and_typed_i31reftest was running multiple times with different strategies, thestatic HITScounter was leaking state into the other test and causing things to fail. I moved the counter into the Store to get rid of the static variable.
irrio requested wasmtime-core-reviewers for a review on PR #10057.
irrio requested alexcrichton for a review on PR #10057.
alexcrichton submitted PR review:
Thanks for this!
alexcrichton merged PR #10057.
Last updated: Dec 13 2025 at 19:03 UTC