You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Running ./miri run --dep multiple times is very slow. The first time I guess it is building parts of Miri or so (./miri run doesn't print any updates about what it does, making this hard to figure out), but the 2nd time it shouldn't have to do any of that -- and yet, it is slow.
Needless to say, this is quite painful when debugging a pass-dep test.