支持分析递归比较和 verify 的错误信息。

Merged 雷淼 requested to merge m-add-pattern into master

Merge request reports