Ignore tests that miri can't run (#514)

spiraldb · Jul 24, 2024 · 3fde4eb · 3fde4eb
1 parent c6f1364
commit 3fde4eb
Show file tree

Hide file tree

Showing 6 changed files with 8 additions and 0 deletions.
diff --git a/encodings/roaring/src/boolean/mod.rs b/encodings/roaring/src/boolean/mod.rs
@@ -137,6 +137,7 @@ mod test {
     use crate::RoaringBoolArray;
 
     #[test]
+    #[cfg_attr(miri, ignore)]
     pub fn iter() -> VortexResult<()> {
         let bool: BoolArray = BoolArray::from(vec![true, false, true, true]);
         let array = RoaringBoolArray::encode(bool.into_array())?;
@@ -148,6 +149,7 @@ mod test {
     }
 
     #[test]
+    #[cfg_attr(miri, ignore)]
     pub fn test_scalar_at() -> VortexResult<()> {
         let bool: BoolArray = BoolArray::from(vec![true, false, true, true]);
         let array = RoaringBoolArray::encode(bool.into_array())?;

diff --git a/encodings/roaring/src/integer/mod.rs b/encodings/roaring/src/integer/mod.rs
@@ -111,6 +111,7 @@ mod test {
     use crate::RoaringIntArray;
 
     #[test]
+    #[cfg_attr(miri, ignore)]
     pub fn test_scalar_at() -> VortexResult<()> {
         let ints = PrimitiveArray::from(vec![2u32, 12, 22, 32]).into_array();
         let array = RoaringIntArray::encode(ints)?;

diff --git a/vortex-datafusion/src/plans.rs b/vortex-datafusion/src/plans.rs
@@ -414,6 +414,7 @@ mod test {
     use crate::plans::{RowIndicesStream, ROW_SELECTOR_SCHEMA_REF};
 
     #[tokio::test]
+    #[cfg_attr(miri, ignore)]
     async fn test_filtering_stream() {
         let chunk = StructArray::try_new(
             Arc::new([FieldName::from("a"), FieldName::from("b")]),

diff --git a/vortex-ipc/src/chunked_reader/take_rows.rs b/vortex-ipc/src/chunked_reader/take_rows.rs
@@ -227,6 +227,7 @@ mod test {
     }
 
     #[tokio::test]
+    #[cfg_attr(miri, ignore)]
     async fn test_take_rows() -> VortexResult<()> {
         let writer = chunked_array().await?;
 

diff --git a/vortex-ipc/src/lib.rs b/vortex-ipc/src/lib.rs
@@ -82,6 +82,7 @@ pub mod test {
     }
 
     #[tokio::test]
+    #[cfg_attr(miri, ignore)]
     async fn test_empty_index() -> VortexResult<()> {
         let data = PrimitiveArray::from((0i32..3_000_000).collect_vec());
         let buffer = write_ipc(data).await;
@@ -103,6 +104,7 @@ pub mod test {
     }
 
     #[tokio::test]
+    #[cfg_attr(miri, ignore)]
     async fn test_write_read_chunked() -> VortexResult<()> {
         let indices = PrimitiveArray::from(vec![
             10u32, 11, 12, 13, 100_000, 2_999_999, 2_999_999, 3_000_000,

diff --git a/vortex-ipc/src/message_reader.rs b/vortex-ipc/src/message_reader.rs
@@ -287,6 +287,7 @@ mod test {
     use crate::{MessageReader, MessageWriter};
 
     #[tokio::test]
+    #[cfg_attr(miri, ignore)]
     async fn read_write_page() {
         let write = Vec::new();
         let mut writer = MessageWriter::new(write);