move 'cargo miri' test down so it is not the first thing testing start-fn

This commit is contained in:
Ralf Jung 2018-10-01 08:27:03 +02:00
parent 1ce05523c4
commit eaff451d5e

View file

@ -38,7 +38,10 @@ script:
xargo/build.sh &&
export MIRI_SYSROOT=~/.xargo/HOST
- |
# Test `cargo miri`
# run all tests with full mir
cargo test --release --all-features
- |
# test `cargo miri`
cd cargo-miri-test &&
if [[ "$TRAVIS_OS_NAME" == "osx" ]]; then
cargo miri -q -- -Zmiri-start-fn
@ -50,12 +53,9 @@ script:
diff -u stdout.ref stdout.real &&
diff -u stderr.ref stderr.real
fi &&
# Test `cargo miri test`
# test `cargo miri test`
cargo miri test &&
cd ..
- |
# and run all tests with full mir
cargo test --release --all-features
notifications:
email: