diff options
Diffstat (limited to 'nix/miri.nix')
| -rw-r--r-- | nix/miri.nix | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/nix/miri.nix b/nix/miri.nix index 5a8c39d..73a7e81 100644 --- a/nix/miri.nix +++ b/nix/miri.nix @@ -12,11 +12,6 @@ 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 "$@" ''; } |