You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
time ./miri build --all-targets # the build that all the `./miri test` below will use
29
+
time ./miri build # the build that all the `./miri test` below will use
30
30
31
31
endgroup
32
32
@@ -66,7 +66,7 @@ function run_tests {
66
66
time MIRIFLAGS="${MIRIFLAGS-} -O -Zmir-opt-level=4 -Cdebug-assertions=yes" MIRI_SKIP_UI_CHECKS=1 ./miri test$TARGET_FLAG tests/{pass,panic}
67
67
fi
68
68
if [ -n"${MANY_SEEDS-}" ];then
69
-
# Also run some many-seeds tests.
69
+
# Also run some many-seeds tests. (Also tests `./miri run`.)
70
70
timeforFILEin tests/many-seeds/*.rs;do
71
71
./miri run "--many-seeds=0..$MANY_SEEDS"$TARGET_FLAG"$FILE"
72
72
done
@@ -75,6 +75,8 @@ function run_tests {
75
75
# Check that the benchmarks build and run, but only once.
76
76
time HYPERFINE="hyperfine -w0 -r1" ./miri bench $TARGET_FLAG
77
77
fi
78
+
# Smoke-test `./miri run --dep`.
79
+
./miri run $TARGET_FLAG --dep tests/pass-dep/getrandom.rs
78
80
79
81
## test-cargo-miri
80
82
# On Windows, there is always "python", not "python3" or "python2".
@@ -148,11 +150,11 @@ case $HOST_TARGET in
148
150
# Partially supported targets (tier 2)
149
151
BASIC="empty_main integer vec string btreemap hello hashmap heap_alloc align"# ensures we have the basics: stdout/stderr, system allocator, randomness (for HashMap initialization)
150
152
UNIX="panic/panic panic/unwind concurrency/simple atomic libc-mem libc-misc libc-random env num_cpus"# the things that are very similar across all Unixes, and hence easily supported there
0 commit comments