bors 42c1e779cb Auto merge of #980 - JOE1994:master, r=RalfJung ...

change cargo-miri.rs to fix issue #978

In Windows 10, there was an issue with building MIRI locally and getting it running,
due to unpredictable backslash escaping issues in paths.
I added a code snippet that would only be compiled in Windows OS, which replaces all backslashes in paths to slashes.
This fix should only affect Windows users.
Building and testing MIRI locally now works fine after the fix.
![miri_result_after_fix0](https://user-images.githubusercontent.com/10286488/66260998-344abc80-e794-11e9-9d7c-b4ef098443de.PNG)

Fixes https://github.com/rust-lang/miri/issues/978

2019-10-15 08:22:26 +00:00

..

cargo-miri.rs

Auto merge of #980 - JOE1994:master, r=RalfJung

2019-10-15 08:22:26 +00:00

miri-rustc-tests.rs

fix miri-rustc-tests

2019-09-28 11:00:05 -04:00

miri.rs

install ICE hook

2019-09-16 09:31:56 +02:00