forked from ~ljy/RK356X_SDK_RELEASE

hc
2024-01-31 f70575805708cabdedea7498aaa3f710fde4d920
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?