From 8ac6c7a54ed1b98d142dce24b11c6de6a1e239a5 Mon Sep 17 00:00:00 2001
From: hc <hc@nodka.com>
Date: Tue, 22 Oct 2024 10:36:11 +0000
Subject: [PATCH] 修改4g拨号为QMI,需要在系统里后台执行quectel-CM

---
 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