summary refs log tree commit diff
path: root/src/tools/miri
blob: b938529fb8ed8f7b5b374282ffc3ffa74c313111 (plain)
1
2
3
4
5
6
7
8
9
10
11
tree 60906f371802312a66c0d442f28967a734c299ad
parent 6227e1e3a8e1a47d6ca4dfac0b52a26084bac697
parent 39d8c4de357c2846c586d7d3794163da8a63578a
author bors <bors@rust-lang.org> 1658759937 +0000
committer bors <bors@rust-lang.org> 1658759937 +0000

Auto merge of #2438 - RalfJung:more-track-caller, r=RalfJung

adjust for more backtrace pruning

The Miri side of https://github.com/rust-lang/rust/pull/99690. Those messages are much nicer. :) And we also need error-pattern much less.