From 092d74a47b5d9731e75ee2a4608553cbcee9947b Mon Sep 17 00:00:00 2001
From: mp9etzm7v <2818067902@qq.com>
Date: Tue, 28 Oct 2025 17:02:09 +0800
Subject: [PATCH] Update README.md

---
 klee-build/symbolic-engine/README.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/klee-build/symbolic-engine/README.md b/klee-build/symbolic-engine/README.md
index 5a6e9f5..53addf2 100644
--- a/klee-build/symbolic-engine/README.md
+++ b/klee-build/symbolic-engine/README.md
@@ -929,7 +929,7 @@ echo "分析完成: $(date)"
 #endif
 ```
 
-### Q2: KLEE 确认率很低 (0%)
+### Q2: KLEE 确认率较低
 
 **原因**:
 1. 外部函数调用较多（printf, malloc 等）