Fri, 16 Jan 2015 04:50:19 +0100
Replace accessor implementation with direct member state manipulation, by
request https://trac.torproject.org/projects/tor/ticket/9701#comment:32
2 namespace mozilla {
3 namespace _ipdltest {
6 intr protocol PTestNestedLoops {
8 child:
9 async Start();
10 intr R();
11 __delete__();
13 parent:
14 async Nonce();
17 state START:
18 send Start goto RACE;
20 state RACE:
21 recv Nonce goto RACE1;
22 call R goto RACE2;
23 state RACE1:
24 call R goto DEAD;
25 state RACE2:
26 recv Nonce goto DEAD;
28 state DEAD:
29 send __delete__;
30 };
33 } // namespace mozilla
34 } // namespace _ipdltest