1 files changed, 16 insertions, 0 deletions
diff --git a/ipc/ipdl/test/ipdl/ok/race_Stateless.ipdl b/ipc/ipdl/test/ipdl/ok/race_Stateless.ipdl
new file mode 100644
index 000000000..6cffe1e7c
--- /dev/null
+++ b/ipc/ipdl/test/ipdl/ok/race_Stateless.ipdl
@@ -0,0 +1,16 @@
+protocol race_Stateless {
+//    manages Child;
+
+child:
+    async Msg1();
+    async Msg1_();
+parent:
+    async Msg2();
+    async Msg2_();
+
+
+    // OK: this is trivial stateless protocol, so race-free "by definition"
+start state S5:
+    send Msg1 goto S5;
+    recv Msg2 goto S5;
+};