Skip to content

Commit

Permalink
Update justfile as well.
Browse files Browse the repository at this point in the history
  • Loading branch information
@cqc-alec
cqc-alec committed Jul 1, 2024
1 parent 415d363 commit efbd9dc
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion justfile
View file
Original file line number Diff line number Diff line change
Expand Up @@ -44,7 +44,7 @@ coverage language="[rust|python]": (_run_lang language \

# Run unsoundness checks using miri
miri:
PROPTEST_DISABLE_FAILURE_PERSISTENCE=true MIRIFLAGS='-Zmiri-env-forward=PROPTEST_DISABLE_FAILURE_PERSISTENCE' cargo +nightly miri test
PROPTEST_DISABLE_FAILURE_PERSISTENCE=true MIRIFLAGS='-Zmiri-env-forward=PROPTEST_DISABLE_FAILURE_PERSISTENCE -Zmiri-disable-isolation' cargo +nightly miri test

# Load a shell with all the dependencies installed
shell:
Expand Down

0 comments on commit efbd9dc

Please sign in to comment.