CI: Disable some extremely slow MIRI tests (#8618)

* prtest:full * Disable some extremely slow MIRI tests
bytecodealliance · May 14, 2024 · 4df1db5 · 4df1db5
1 parent a11837b
commit 4df1db5
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 0 deletions.
diff --git a/tests/all/defaults.rs b/tests/all/defaults.rs
@@ -1,6 +1,7 @@
 use wasmtime::*;
 
 #[test]
+#[cfg_attr(miri, ignore)]
 fn test_tail_call_default() -> Result<()> {
     for (expected, cfg) in [
         (

diff --git a/tests/all/externals.rs b/tests/all/externals.rs
@@ -490,6 +490,7 @@ fn dummy_funcs_and_subtypes(
 }
 
 #[test]
+#[cfg_attr(miri, ignore)]
 fn new_global_func_subtyping() {
     let engine = Engine::default();
     let mut store = Store::new(&engine, ());
@@ -529,6 +530,7 @@ fn new_global_func_subtyping() {
 }
 
 #[test]
+#[cfg_attr(miri, ignore)]
 fn global_set_func_subtyping() {
     let engine = Engine::default();
     let mut store = Store::new(&engine, ());
@@ -565,6 +567,7 @@ fn global_set_func_subtyping() {
 }
 
 #[test]
+#[cfg_attr(miri, ignore)]
 fn new_table_func_subtyping() {
     let engine = Engine::default();
     let mut store = Store::new(&engine, ());
@@ -595,6 +598,7 @@ fn new_table_func_subtyping() {
 }
 
 #[test]
+#[cfg_attr(miri, ignore)]
 fn table_set_func_subtyping() {
     let engine = Engine::default();
     let mut store = Store::new(&engine, ());
@@ -637,6 +641,7 @@ fn table_set_func_subtyping() {
 }
 
 #[test]
+#[cfg_attr(miri, ignore)]
 fn table_grow_func_subtyping() {
     let engine = Engine::default();
     let mut store = Store::new(&engine, ());
@@ -680,6 +685,7 @@ fn table_grow_func_subtyping() {
 }
 
 #[test]
+#[cfg_attr(miri, ignore)]
 fn table_fill_func_subtyping() {
     let engine = Engine::default();
     let mut store = Store::new(&engine, ());
@@ -719,6 +725,7 @@ fn table_fill_func_subtyping() {
 }
 
 #[test]
+#[cfg_attr(miri, ignore)]
 fn table_copy_func_subtyping() {
     let _ = env_logger::try_init();