db: fix tests not working with miri interpreter

rhysd · May 2, 2024 · 5beb6fa · 5beb6fa
1 parent 7acd888
commit 5beb6fa
Show file tree

Hide file tree

Showing 2 changed files with 10 additions and 0 deletions.
diff --git a/.github/workflows/db_tutorial.yaml b/.github/workflows/db_tutorial.yaml
@@ -23,6 +23,8 @@ jobs:
       - run: cargo test
   ub-check:
     runs-on: ubuntu-latest
+    env:
+      MIRIFLAGS: -Zmiri-disable-isolation
     steps:
       - uses: actions/checkout@v4
       - uses: dtolnay/rust-toolchain@nightly

diff --git a/db_tutorial/src/main.rs b/db_tutorial/src/main.rs
@@ -447,13 +447,21 @@ fn main() -> io::Result<()> {
 #[rustfmt::skip::macros(format)]
 mod tests {
     use super::*;
+    #[cfg(not(miri))]
     use insta::assert_snapshot;
     use std::fmt::Write as _;
     use std::io::BufReader;
     use std::path::PathBuf;
     use std::sync::OnceLock;
     use tempfile::TempDir;
 
+    #[cfg(miri)]
+    macro_rules! assert_snapshot {
+        ($arg:expr) => {
+            let _ = $arg;
+        };
+    }
+
     #[track_caller]
     fn run_test_with_table(stdin: impl AsRef<str>, table: Table) -> io::Result<String> {
         let stdin = stdin.as_ref();