chore: miri ignore file opening tests (#1278)

Manually run check: https://github.com/CQCL/hugr/actions/runs/9842869762
CQCL · Jul 8, 2024 · d6775ea · d6775ea
1 parent 8ba90f9
commit d6775ea
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 0 deletions.
diff --git a/hugr-core/src/hugr/serialize/test.rs b/hugr-core/src/hugr/serialize/test.rs
@@ -470,6 +470,7 @@ fn roundtrip_optype(#[case] optype: impl Into<OpType> + std::fmt::Debug) {
 }
 
 #[test]
+#[cfg_attr(miri, ignore)] // Opening files is not supported in (isolated) miri
 /// issue 1270
 fn input_extensions_deser() {
     // load a file serialised with `input_extensions` fields on all ops

diff --git a/hugr-core/src/hugr/validate/test.rs b/hugr-core/src/hugr/validate/test.rs
@@ -997,6 +997,7 @@ fn cfg_connections() -> Result<(), Box<dyn std::error::Error>> {
 }
 
 #[test]
+#[cfg_attr(miri, ignore)] // Opening files is not supported in (isolated) miri
 fn cfg_entry_io_bug() -> Result<(), Box<dyn std::error::Error>> {
     // load test file where input node of entry block has types in reversed
     // order compared to parent CFG node.