Skip to content

Commit

Permalink
fix: Don't run miri on tests that open files (#159)
Browse files Browse the repository at this point in the history
  • Loading branch information
aborgna-q authored Oct 3, 2023
1 parent 5257dcb commit 742e64c
Showing 1 changed file with 1 addition and 0 deletions.
1 change: 1 addition & 0 deletions src/json/tests.rs
Original file line number Diff line number Diff line change
Expand Up @@ -65,6 +65,7 @@ fn json_roundtrip(#[case] circ_s: &str, #[case] num_commands: usize, #[case] num
}

#[rstest]
#[cfg_attr(miri, ignore)] // Opening files is not supported in (isolated) miri
#[case::barenco_tof_10("test_files/barenco_tof_10.json")]
fn json_file_roundtrip(#[case] circ: impl AsRef<std::path::Path>) {
let reader = BufReader::new(std::fs::File::open(circ).unwrap());
Expand Down

0 comments on commit 742e64c

Please sign in to comment.