在使用Ceagle的过程中，会遇到因系统配置、软件配置、验证工程、环境等引起的异常情况，导致无法正常完成验证流程。

您可以将错误代码记录并反馈给清华大学以获取支持，反馈网址是：http://sts.thss.tsinghua.edu.cn/ceagle/support。您在提交错误代码时，可以随附相关的程序文件、输出日志或界面截图。

各版本可能的错误代码如下：