blob: 45191eaf9c42f98cc4f5e4d27f36e5a90a0e55cf (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
Thread 1 executing: start
Thread 2 executing: start
Thread 2 executing: retag x (&mut, protect)
Thread 1 executing: retag x (&mut, protect)
Thread 1 executing: retag y (&mut, protect)
Thread 2 executing: retag y (&mut, protect)
Thread 2 executing: spurious read x
Thread 1 executing: spurious read x
Thread 1 executing: ret x
Thread 2 executing: ret x
Thread 2 executing: ret y
Thread 1 executing: ret y
Thread 1 executing: write y
Thread 2 executing: write y
Thread 2 executing: end
Thread 1 executing: end
|
