conc052: still fails profc/profasm for 6.8
[packages/stm.git] / tests / conc062.stdout
1 \r
2 Starting\r
3 \r
4 Attaching invariant\r
5 \r
6 Touching invariant (should keep on same TVars)\r
7 \r
8 Touching invariant (should move it to other TVars)\r
9 \r
10 Touching invariant (should keep on same TVars)\r
11 \r
12 Checking TVar contents\r
13 Contents = (-2,1,-3)\r
14 \r
15 Done\r