I know you must do it, you can do it, you will do it, and you will succeed! Now stand firm and tall, make a fist, get excited, and yell it out.

我知道你必须这么做，你能够做到，你将会做到，以至你终将成功！

youdao

It should be clear by now that, to get the most out of the Static Checker, you must use code Contracts all throughout your code.

既然要获得最大的静态检查器，则必须使用整个代码中的所有代码合同，它应该是清楚了。

youdao