From 244b2c5ca8b14627e4a17755e5922221e121c771 Mon Sep 17 00:00:00 2001 From: hc <hc@nodka.com> Date: Wed, 09 Oct 2024 06:15:07 +0000 Subject: [PATCH] change system file --- kernel/tools/memory-model/litmus-tests/MP+poonceonces.litmus | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/kernel/tools/memory-model/litmus-tests/MP+poonceonces.litmus b/kernel/tools/memory-model/litmus-tests/MP+poonceonces.litmus index b2b60b8..172f014 100644 --- a/kernel/tools/memory-model/litmus-tests/MP+poonceonces.litmus +++ b/kernel/tools/memory-model/litmus-tests/MP+poonceonces.litmus @@ -1,7 +1,7 @@ C MP+poonceonces (* - * Result: Maybe + * Result: Sometimes * * Can the counter-intuitive message-passing outcome be prevented with * no ordering at all? -- Gitblit v1.6.2