Skip to content

Commit

Permalink
Update miri_tb.sh
Browse files Browse the repository at this point in the history
  • Loading branch information
@al8n
al8n committed Oct 25, 2024
1 parent 4dd9db9 commit 4d2c2d0
Showing 1 changed file with 2 additions and 3 deletions.
5 changes: 2 additions & 3 deletions ci/miri_tb.sh
View file
Original file line number Diff line number Diff line change
Expand Up @@ -19,9 +19,8 @@ rustup toolchain install nightly --component miri
rustup override set nightly
cargo miri setup

export MIRIFLAGS="-Zmiri-symbolic-alignment-check -Zmiri-disable-isolation -Zmiri-tree-borrows -Zmiri-ignore-leaks"

export MIRIFLAGS="-Zmiri-strict-provenance -Zmiri-symbolic-alignment-check -Zmiri-disable-isolation -Zmiri-tree-borrows"
export RUSTFLAGS="--cfg test_$CONFIG_FLAGS"

cargo miri test --tests --target $TARGET --lib
cargo miri test --tests --target $TARGET --lib 2>&1 | ts -i '%.s '

0 comments on commit 4d2c2d0

Please sign in to comment.