Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

misc(scripts): script to run and collect Miri logs #537

Merged
merged 5 commits into from
Dec 19, 2023
Merged

misc(scripts): script to run and collect Miri logs #537

Changes from all commits
Commits
Show all changes
5 commits
Select commit Hold shift + click to select a range
48cbdb9
chore: add script to collect miri logs
Jul 1, 2023
182a595
chore: add install line in script
Jul 1, 2023
0a10c99
Merge branch 'main' into improvement/miri-log-script
belagoesr Oct 31, 2023
4ae38f1
Merge remote-tracking branch 'origin/main' into improvement/miri-log-…
Wodann Dec 19, 2023
5bf6d75
misc: apply review suggestions
Wodann Dec 19, 2023
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
24 changes: 24 additions & 0 deletions scripts/get-miri-logs.sh
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,24 @@
#!/bin/bash

# This script collect logs for running Miri in each crate

# Install nightly Miri
rustup toolchain install nightly --profile minimal --component miri

# Create the folder for logs
mkdir -p .logs

# Run clean to ensure that we get all miri errors
cargo clean
Copy link
Collaborator

@Wodann Wodann Dec 19, 2023 •
edited
Loading

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

@belagoesr do you happen to remember why cargo clean is necessary?

I'm assuming that it's to ensure that the generated logs always contain all errors/warnings.


for path in crates/* ; do
echo "Running miri in '$path'"
package=$(basename "$path")
OUTPUT_FILE=.logs/log_$package
MIRIFLAGS="\
-Zmiri-disable-stacked-borrows \
-Zmiri-backtrace=full \
-Zmiri-disable-isolation" \
# Log to stdout and a file - for future reference
cargo +nightly miri test --package $package --no-fail-fast 2>&1 | tee $OUTPUT_FILE
done
Loading