Thu, 22 Jan 2015 13:21:57 +0100
Incorporate requested changes from Mozilla in review:
https://bugzilla.mozilla.org/show_bug.cgi?id=1123480#c6
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