ipc/ipdl/test/ipdl/error/unreachedDeleteMultiStart.ipdl


1
2
3
4
5
6
7
8
9
10

protocol unreachedDeleteMultiStart {
child:
    async M1(); async M2(); async __delete__();

start state S1:  send M1 goto S2;
state S2:        send __delete__;

start state S3:  send M2 goto S4;
state S4:        send M1 goto S3;
};