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

test std more systematically #61

Merged
merged 2 commits into from
Apr 28, 2024
+10 −23
Merged

test std more systematically #61

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
0f52116
test std more systematically
RalfJung Apr 22, 2024
b16f43c
rustup
RalfJung Apr 28, 2024
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
31 changes: 9 additions & 22 deletions ci-test.sh
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -50,39 +50,26 @@ alloc)
done
;;
std)
# Modules that we skip entirely, because they need a lot of shims we don't support.
# Modules that we skip because they need a lot of shims we don't support.
SKIP="fs:: net:: process:: sys::pal::"
# Core modules, that we are testing on a bunch of targets.
# These are the most OS-specific (among the modules we do not skip).
CORE="time:: sync:: thread:: env::"

for TARGET in x86_64-unknown-linux-gnu aarch64-apple-darwin x86_64-pc-windows-msvc i686-pc-windows-gnu; do
echo "::group::Testing std core ($CORE on $TARGET)"
# A 64bit little-endian and a 32bit big-endian target,
# as well as targets covering all major OSes and both ABIs on Windows.
# rustc itself tests i686-pc-windows-msvc so we test the other.
for TARGET in x86_64-unknown-linux-gnu mips-unknown-linux-gnu aarch64-apple-darwin i686-pc-windows-gnu x86_64-pc-windows-msvc; do
echo "::group::Testing std ($TARGET)"
MIRIFLAGS="$DEFAULTFLAGS -Zmiri-disable-isolation" \
./run-test.sh std --target $TARGET --lib --tests \
-- $CORE \
-- $(for M in $SKIP; do echo "--skip $M "; done) \
2>&1 | ts -i '%.s '
echo "::endgroup::"
echo "::group::Testing std core docs ($CORE on $TARGET, ignore leaks)"
echo "::group::Testing std docs ($TARGET, ignore leaks)"
MIRIFLAGS="$DEFAULTFLAGS -Zmiri-ignore-leaks -Zmiri-disable-isolation" \
./run-test.sh std --target $TARGET --doc \
-- $CORE \
-- $(for M in $SKIP; do echo "--skip $M "; done) \
2>&1 | ts -i '%.s '
echo "::endgroup::"
done
# Test the remaining modules only on Linux.
echo "::group::Testing remaining std (all except for $SKIP, ignore leaks)"
MIRIFLAGS="$DEFAULTFLAGS -Zmiri-disable-isolation" \
./run-test.sh std --lib --tests \
-- $(for M in $CORE; do echo "--skip $M "; done) $(for M in $SKIP; do echo "--skip $M "; done) \
2>&1 | ts -i '%.s '
echo "::endgroup::"
echo "::group::Testing remaining std docs (all except for $SKIP, ignore leaks)"
MIRIFLAGS="$DEFAULTFLAGS -Zmiri-ignore-leaks -Zmiri-disable-isolation" \
./run-test.sh std --doc \
-- $(for M in $CORE; do echo "--skip $M "; done) $(for M in $SKIP; do echo "--skip $M "; done) \
2>&1 | ts -i '%.s '
echo "::endgroup::"
;;
simd)
export CARGO_TARGET_DIR=$(pwd)/target
Expand Down
2 changes: 1 addition & 1 deletion rust-version
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1 +1 @@
nightly-2024-04-09
nightly-2024-04-28