|
1 | | -#case $(uname | tr '[:upper:]' '[:lower:]') in |
2 | | -# linux*) |
3 | | -# export APPVEYOR_OS_NAME=linux |
4 | | -# ;; |
5 | | -# darwin*) |
6 | | -# export APPVEYOR_OS_NAME=osx |
7 | | -# ;; |
8 | | -#esac |
9 | | -#if [ "$APPVEYOR_OS_NAME" = "linux" ]; then export PATH="/home/appveyor/.cargo/bin:$PATH"; fi |
10 | | -#if [ "$APPVEYOR_OS_NAME" = "osx" ]; then export PATH="$HOME/.cargo/bin:$PATH"; fi |
11 | | -#if [ "$APPVEYOR_OS_NAME" = "linux" ]; then MIRI_NIGHTLY=nightly-$(curl -s https://rust-lang.github.io/rustup-components-history/x86_64-unknown-linux-gnu/miri); fi |
12 | | -#if [ "$APPVEYOR_OS_NAME" = "osx" ]; then MIRI_NIGHTLY=nightly-$(curl -s https://rust-lang.github.io/rustup-components-history/x86_64-apple-darwin/miri); fi |
13 | | -#echo "Installing latest nightly with Miri: $MIRI_NIGHTLY" |
14 | | -#rustup set profile minimal |
15 | | -#rustup default "$MIRI_NIGHTLY" |
16 | | -#rustup component add miri |
| 1 | +case $(uname | tr '[:upper:]' '[:lower:]') in |
| 2 | + linux*) |
| 3 | + export APPVEYOR_OS_NAME=linux |
| 4 | + ;; |
| 5 | + darwin*) |
| 6 | + export APPVEYOR_OS_NAME=osx |
| 7 | + ;; |
| 8 | +esac |
| 9 | +if [ "$APPVEYOR_OS_NAME" = "linux" ]; then export PATH="/home/appveyor/.cargo/bin:$PATH"; fi |
| 10 | +if [ "$APPVEYOR_OS_NAME" = "osx" ]; then export PATH="$HOME/.cargo/bin:$PATH"; fi |
| 11 | +if [ "$APPVEYOR_OS_NAME" = "linux" ]; then MIRI_NIGHTLY=nightly-$(curl -s https://rust-lang.github.io/rustup-components-history/x86_64-unknown-linux-gnu/miri); fi |
| 12 | +if [ "$APPVEYOR_OS_NAME" = "osx" ]; then MIRI_NIGHTLY=nightly-$(curl -s https://rust-lang.github.io/rustup-components-history/x86_64-apple-darwin/miri); fi |
| 13 | +echo "Installing latest nightly with Miri: $MIRI_NIGHTLY" |
| 14 | +rustup set profile minimal |
| 15 | +rustup default "$MIRI_NIGHTLY" |
| 16 | +rustup component add miri |
17 | 17 | # The `-Zmiri-disable-isolation` is so Miri can access the system clock |
18 | 18 | # while calling `SystemTime::now()` in one of the tests. |
19 | 19 | # The `-Zmiri-permissive-provenance` is because this crate has a few |
20 | 20 | # integer-to-pointer casts that are needed to avoid UB with ZST-related |
21 | 21 | # stuff. |
22 | | -#export MIRIFLAGS="-Zmiri-disable-isolation -Zmiri-permissive-provenance" |
| 22 | +export MIRIFLAGS="-Zmiri-disable-isolation -Zmiri-permissive-provenance" |
23 | 23 | # We run the suite once under Miri with all functionality enabled, and then once |
24 | 24 | # normally without the default features just to make sure `no_std` support has |
25 | 25 | # not been broken. |
26 | | -#cargo clean |
27 | | -#cargo miri test --features="std" || exit 1 |
28 | | -#cargo clean |
29 | | -#cargo test --no-default-features || exit 1 |
| 26 | +cargo clean |
| 27 | +cargo miri test --features="std" || exit 1 |
| 28 | +cargo clean |
| 29 | +cargo test --no-default-features || exit 1 |
30 | 30 | # Uncommenting the last two lines also runs the libfuzzer fuzz target, but it's more suited for running |
31 | 31 | # locally than on CI currently due to the amount of time it takes to be effective |
32 | 32 | # cargo clean |
|
0 commit comments