miri: make miri accept our intrusive linked lists (#4397)

2026-08-28 00:00:11 +02:00 · 2022-02-09 11:11:17 +01:00
parent ca51f6a980
commit 1be8e9dfb7
18 changed files with 168 additions and 61 deletions
@@ -173,6 +173,12 @@ LOOM_MAX_PREEMPTIONS=1 RUSTFLAGS="--cfg loom" \
    cargo test --lib --release --features full -- --test-threads=1 --nocapture
 ```

+You can run miri tests with
+```
+MIRIFLAGS="-Zmiri-disable-isolation -Zmiri-tag-raw-pointers" PROPTEST_CASES=10 \
+    cargo +nightly miri test --features full --lib
+```
+
 ### Tests

 If the change being proposed alters code (as opposed to only documentation for