diff options
| -rw-r--r-- | src/tools/miri/tests/compiletest.rs | 2 | ||||
| -rw-r--r-- | src/tools/miri/tests/pass/stacked-borrows/stack-printing.stdout | 10 |
2 files changed, 7 insertions, 5 deletions
diff --git a/src/tools/miri/tests/compiletest.rs b/src/tools/miri/tests/compiletest.rs index 4789d22eb4f..46c78df30b1 100644 --- a/src/tools/miri/tests/compiletest.rs +++ b/src/tools/miri/tests/compiletest.rs @@ -138,6 +138,8 @@ regexes! { STDOUT: // Windows file paths r"\\" => "/", + // erase Stacked Borrows tags + "<[0-9]+>" => "<TAG>", } regexes! { diff --git a/src/tools/miri/tests/pass/stacked-borrows/stack-printing.stdout b/src/tools/miri/tests/pass/stacked-borrows/stack-printing.stdout index 6d4f15453d2..660ee71e6f5 100644 --- a/src/tools/miri/tests/pass/stacked-borrows/stack-printing.stdout +++ b/src/tools/miri/tests/pass/stacked-borrows/stack-printing.stdout @@ -1,5 +1,5 @@ -0..1: [ SharedReadWrite<2794> ] -0..1: [ SharedReadWrite<2794> ] -0..1: [ SharedReadWrite<2794> ] -0..1: [ SharedReadWrite<2794> Unique<2822> Unique<2823> Unique<2824> Unique<2828> Unique<2830> ] -0..1: [ SharedReadWrite<2794> Disabled<2822> Disabled<2823> Disabled<2824> Disabled<2828> Disabled<2830> SharedReadOnly<2832> ] +0..1: [ SharedReadWrite<TAG> ] +0..1: [ SharedReadWrite<TAG> ] +0..1: [ SharedReadWrite<TAG> ] +0..1: [ SharedReadWrite<TAG> Unique<TAG> Unique<TAG> Unique<TAG> Unique<TAG> Unique<TAG> ] +0..1: [ SharedReadWrite<TAG> Disabled<TAG> Disabled<TAG> Disabled<TAG> Disabled<TAG> Disabled<TAG> SharedReadOnly<TAG> ] |