Skip to content

Commit

Permalink
run test-cargo-miri on Windows
Browse files Browse the repository at this point in the history
  • Loading branch information
RalfJung committed Dec 19, 2018
1 parent 51ed485 commit e7c523f
Showing 1 changed file with 6 additions and 2 deletions.
8 changes: 6 additions & 2 deletions appveyor.yml
Original file line number Diff line number Diff line change
Expand Up @@ -27,13 +27,17 @@ build: false
test_script:
- set RUST_TEST_NOCAPTURE=1
- set RUST_BACKTRACE=1
# Build miri
# Build and install miri
- cargo build --release --all-features --all-targets
- cargo install --all-features --force --path .
# Get ourselves a MIR-full libstd, and use it henceforth
- cargo run --release --all-features --bin cargo-miri -- miri setup
- cargo miri setup
- set MIRI_SYSROOT=%USERPROFILE%\AppData\Local\miri\miri\cache\HOST
# Test miri
- cargo test --release --all-features
# Test cargo integration
- cd test-cargo-miri
- python3 run-test.py

notifications:
- provider: Email
Expand Down

0 comments on commit e7c523f

Please sign in to comment.