test: ignore serialisation tests when using miri

CQCL · Apr 26, 2024 · c204f81 · c204f81
1 parent 529f553
commit c204f81
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 3 deletions.
diff --git a/hugr/src/hugr/serialize.rs b/hugr/src/hugr/serialize.rs
@@ -261,6 +261,9 @@ impl TryFrom<SerHugrV1> for Hugr {
 }
 
 #[cfg(test)]
+#[cfg_attr(miri, ignore = "miri does not support 'life before main'")]
+// Miri doesn't run the extension registration required by `typetag` for
+// registering `CustomConst`s.  https://github.com/rust-lang/miri/issues/450
 pub mod test {
 
     use super::*;
@@ -547,9 +550,6 @@ pub mod test {
     }
 
     #[test]
-    #[cfg_attr(miri, ignore = "Extension ops cannot be used with miri.")]
-    // Miri doesn't run the extension registration required by `typetag` for registering `CustomConst`s.
-    // https://github.com/rust-lang/miri/issues/450
     fn constants_roundtrip() -> Result<(), Box<dyn std::error::Error>> {
         let mut builder = DFGBuilder::new(FunctionType::new(vec![], vec![FLOAT64_TYPE])).unwrap();
         let w = builder.add_load_value(ConstF64::new(0.5));

diff --git a/hugr/src/hugr/validate.rs b/hugr/src/hugr/validate.rs
@@ -105,6 +105,7 @@ impl<'a, 'b> ValidationContext<'a, 'b> {
         // in-tree schema. For now, our serialized hugr does not match the
         // schema. When this is fixed we should pass true below.
         #[cfg(test)]
+        #[cfg_attr(miri, ignore = "miri does not support 'life before main'")]
         crate::hugr::serialize::test::check_hugr_roundtrip(self.hugr, false);
 
         Ok(())