Wed, 31 Dec 2014 13:27:57 +0100
Ignore runtime configuration files generated during quality assurance.
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