diff --git a/ci/miri_tb.sh b/ci/miri_tb.sh
index 93fa21a..33c6d4e 100755
--- a/ci/miri_tb.sh
+++ b/ci/miri_tb.sh
@@ -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  '