tests: Ignore miri in Winch integration tests

bytecodealliance · May 16, 2023 · f0e2850 · f0e2850
1 parent 5222888
commit f0e2850
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/tests/all/winch.rs b/tests/all/winch.rs
@@ -44,6 +44,7 @@ fn add_fn(store: impl AsContextMut) -> Func {
 }
 
 #[test]
+#[cfg_attr(miri, ignore)]
 fn array_to_wasm() {
     let mut c = Config::new();
     c.strategy(Strategy::Winch);
@@ -77,6 +78,7 @@ fn array_to_wasm() {
 }
 
 #[test]
+#[cfg_attr(miri, ignore)]
 fn native_to_wasm() {
     let mut c = Config::new();
     c.strategy(Strategy::Winch);
@@ -100,6 +102,7 @@ fn native_to_wasm() {
 }
 
 #[test]
+#[cfg_attr(miri, ignore)]
 fn wasm_to_native() {
     let mut c = Config::new();
     c.strategy(Strategy::Winch);