blob: f0f067e0b23075e7cb04a23cab4a56c2e07e0685 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
|
namespace mozilla {
namespace _ipdltest {
intr protocol PTestNestedLoops {
child:
async Start();
intr R();
async __delete__();
parent:
async Nonce();
state START:
send Start goto RACE;
state RACE:
recv Nonce goto RACE1;
call R goto RACE2;
state RACE1:
call R goto DEAD;
state RACE2:
recv Nonce goto DEAD;
state DEAD:
send __delete__;
};
} // namespace mozilla
} // namespace _ipdltest
|
