You ve run it through an automated test suite - because the number of invariants is astronomical, automated testing is a must.

• 您已经让它运行通过了一个自动化测试套件的测试由于不变量的数量是个天文数字,因此,自动化测试是必须的。