更新 app-manual.md

57d30f66 · 宋海霞 · 90ec5e69 · 57d30f66
--- a/app-manual.md
+++ b/app-manual.md
@@ -199,6 +199,7 @@ DS Lab的主窗口布局由下面的若干元素组成：
 **按照下面的步骤启动验证功能：**
 -	在“调试”菜单中选择“开始验证”（快捷键是Alt+F5）。在验证过程中，“输出”窗口会实时显示验证各个阶段的执行过程（如以下清单所示），包括转储信息文件的路径、观察点函数的调用信息和返回信息、以及验证结果。由于InsertBefore函数还不完整，所以验证失败。

+```
 ------ 已启动验证: 项目: LinearList_InsertBefore, 配置: Debug ------

 验证第一阶段：正在使用“演示模式”生成转储信息，并写入源文件...
@@ -231,6 +232,7 @@ InsertBefore 函数的返回信息：插入失败，返回 0
 比较结果：转储信息源文件与目标文件的内容不同

 ==================== 验证结果：失败 ====================
+```

 -	使用“输出”窗口工具条上的“比较”按钮，查看两个转储信息文件中的内容，即它们之间的不同之处。