forked from ~ljy/RK356X_SDK_RELEASE

hc
2024-05-10 ee930fffee469d076998274a2ca55e13dc1efb67
kernel/tools/memory-model/litmus-tests/MP+poonceonces.litmus
....@@ -1,7 +1,7 @@
11 C MP+poonceonces
22
33 (*
4
- * Result: Maybe
4
+ * Result: Sometimes
55 *
66 * Can the counter-intuitive message-passing outcome be prevented with
77 * no ordering at all?