问题:
A、证明错误存在
B、证明错误不存在
C、发现程序的错误
D、提供诊断信息
相关内容