From 1dc57347de3ea980b52164ef18f52bdf01e7830f Mon Sep 17 00:00:00 2001
From: Seyon Sivarajah <seyon.sivarajah@quantinuum.com>
Date: Mon, 15 Jan 2024 12:24:07 +0000
Subject: [PATCH] fix: miri ignore schema opening

---
 src/hugr/serialize.rs | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/hugr/serialize.rs b/src/hugr/serialize.rs
index 92fa55a15..190a3ed23 100644
--- a/src/hugr/serialize.rs
+++ b/src/hugr/serialize.rs
@@ -307,6 +307,7 @@ pub mod test {
     }
 
     /// Serialize and deserialize a value, optionally validating against a schema.
+    #[cfg_attr(miri, ignore)] // Opening files is not supported in (isolated) miri
     pub fn ser_roundtrip_validate<T: Serialize + serde::de::DeserializeOwned>(
         g: &T,
         schema: Option<&JSONSchema>,