print thread name in miri error backtraces; add option to track read/write accesses#3338

Merged

bors merged 2 commits intorust-lang:masterfrom RalfJung:more-tracking-and-threads

Mar 2, 2024

+257-184

Commits on Mar 2, 2024