diff options
Diffstat (limited to 'src/tools/miri/tests/panic/mir-validation.rs')
| -rw-r--r-- | src/tools/miri/tests/panic/mir-validation.rs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/tools/miri/tests/panic/mir-validation.rs b/src/tools/miri/tests/panic/mir-validation.rs index 5e207c26096..fe618f6c819 100644 --- a/src/tools/miri/tests/panic/mir-validation.rs +++ b/src/tools/miri/tests/panic/mir-validation.rs @@ -3,6 +3,7 @@ //@normalize-stderr-test: "\n +at [^\n]+" -> "" //@normalize-stderr-test: "\n +\[\.\.\. omitted [0-9]+ frames? \.\.\.\]" -> "" //@normalize-stderr-test: "\n[ =]*note:.*" -> "" +//@normalize-stderr-test: "DefId\([^()]*\)" -> "DefId" #![feature(custom_mir, core_intrinsics)] use core::intrinsics::mir::*; |