From d6775eac69ace7dea4b661b4baa4d8d715387435 Mon Sep 17 00:00:00 2001 From: Seyon Sivarajah Date: Mon, 8 Jul 2024 17:28:40 +0100 Subject: [PATCH] chore: miri ignore file opening tests (#1278) Manually run check: https://github.com/CQCL/hugr/actions/runs/9842869762 --- hugr-core/src/hugr/serialize/test.rs | 1 + hugr-core/src/hugr/validate/test.rs | 1 + 2 files changed, 2 insertions(+) diff --git a/hugr-core/src/hugr/serialize/test.rs b/hugr-core/src/hugr/serialize/test.rs index c5c079704..a97002e8a 100644 --- 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 + 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 index 832d441b9..41834c31d 100644 --- 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> { } #[test] +#[cfg_attr(miri, ignore)] // Opening files is not supported in (isolated) miri fn cfg_entry_io_bug() -> Result<(), Box> { // load test file where input node of entry block has types in reversed // order compared to parent CFG node.