From b7543db4ee776d8985145103c713036612ee9e05 Mon Sep 17 00:00:00 2001 From: Seyon Sivarajah Date: Mon, 15 Jan 2024 13:32:24 +0000 Subject: [PATCH] fix: include schema rather than read file (#807) otherwise fails miri checks by opening file running workflow manually to check --- src/hugr/serialize.rs | 12 ++++-------- 1 file changed, 4 insertions(+), 8 deletions(-) diff --git a/src/hugr/serialize.rs b/src/hugr/serialize.rs index 92fa55a15..3488ecf1b 100644 --- a/src/hugr/serialize.rs +++ b/src/hugr/serialize.rs @@ -274,20 +274,16 @@ pub mod test { use portgraph::{ multiportgraph::MultiPortGraph, Hierarchy, LinkMut, PortMut, PortView, UnmanagedDenseMap, }; - use std::fs; const NAT: Type = crate::extension::prelude::USIZE_T; const QB: Type = crate::extension::prelude::QB_T; lazy_static! { static ref SCHEMA: JSONSchema = { - let path = format!( - "{}/specification/schema/hugr_schema_v0.json", - env!("CARGO_MANIFEST_DIR") - ); - let data = fs::read_to_string(path).unwrap(); - let schema_val: serde_json::Value = serde_json::from_str(&data).unwrap(); - + let schema_val: serde_json::Value = serde_json::from_str(include_str!( + "../../specification/schema/hugr_schema_v0.json" + )) + .unwrap(); JSONSchema::options() .with_draft(Draft::Draft7) .compile(&schema_val)