Update README.md

3 months ago · 092d74a47b
parent 3d41771c4a
commit 092d74a47b
1 changed files with 1 additions and 1 deletions
--- 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 等）