1 files changed, 22 insertions, 0 deletions
diff --git a/nix/miri.nix b/nix/miri.nix
new file mode 100644
index 0000000..5a8c39d
--- /dev/null
+++ b/nix/miri.nix
@@ -0,0 +1,22 @@
+{ fenix, pkgs }:
+
+let
+  rust-nightly-toolchain = fenix.combine [
+    fenix.latest.cargo
+    fenix.latest.rustc
+    fenix.latest.clippy
+    fenix.latest.miri
+  ];
+in
+pkgs.writeShellApplication {
+  name = "cargo-miri";
+  runtimeInputs = [ rust-nightly-toolchain ];
+  text = ''
+    set -x
+    # https://github.com/proptest-rs/proptest/issues/253#issuecomment-1850534278
+    : "''${PROPTEST_DISABLE_FAILURE_PERSISTENCE:=true}"
+    : "''${MIRIFLAGS:=-Zmiri-env-forward=PROPTEST_DISABLE_FAILURE_PERSISTENCE}"
+    export PROPTEST_DISABLE_FAILURE_PERSISTENCE MIRIFLAGS
+    exec cargo "$@"
+  '';
+}