Skip to content

Commit

Permalink
relax miri
Browse files Browse the repository at this point in the history
  • Loading branch information
@al8n
al8n committed Oct 18, 2023
1 parent 1d6112c commit 7f23283
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion ci/miri.sh
View file
Original file line number Diff line number Diff line change
Expand Up @@ -5,7 +5,7 @@ rustup toolchain install nightly --component miri
rustup override set nightly
cargo miri setup

export MIRIFLAGS="-Zmiri-strict-provenance -Zmiri-disable-isolation -Zmiri-symbolic-alignment-check"
export MIRIFLAGS="-Zmiri-disable-isolation -Zmiri-symbolic-alignment-check"

cargo miri test

0 comments on commit 7f23283

Please sign in to comment.