search

rust-lang / miri

An interpreter for Rust's mid-level intermediate representation
Apache License 2.0
4.17k stars 320 forks source link

Make ./miri run less quiet, to see what happens on Windows #3508

Closed RalfJung closed 2 months ago

RalfJung commented 2 months ago

I got the build logs I needed for https://github.com/rust-lang/miri/issues/3509.