Sign in
android
/
toolchain
/
rustc
/
5139364148b53d79de1b5e778004d41a6a33a4a2
/
.
/
src
/
tools
/
miri
/
tests
/
pass
/
tree_borrows
/
read_retag_no_race.stderr
blob: f090300851115e65d96c97b9ff3654096df7fd9a [
file
] [
log
] [
blame
]
Thread
1
executing
:
spawn
Thread
2
executing
:
spawn
Thread
2
executing
:
read x
||
retag y
Thread
1
executing
:
read x
||
retag y
Thread
1
executing
:
write y
Thread
2
executing
:
write y
Thread
2
executing
:
exit
Thread
1
executing
:
exit