文件名称：lets-prove-leftpad:用多种方法证明左垫板正确
文件大小：344KB
文件格式：ZIP
更新时间：2024-05-23 19:34:45
SystemVerilog
让我们证明左垫 这是可证明正确的Leftpad版本的存储库。 什么是“证明正确”？ 可能正确的代码是可以完全保证自己说的做到的代码。 您可以通过提供计算机可以检查的证据来做到这一点。 如果证明是错误的，则代码将无法编译。 与测试之类的东西进行比较：即使您对1,000个不同的输入测试了功能，您仍然不确定是否要通过第1,001个测试。 但是，有了证明，您知道您的功能将对所有输入有效，而无论您尝试一千个还是十万亿个不同的测试用例。 证明代码正确非常强大。 这也令人难以置信，这就是为什么大多数程序员不这样做的原因。 这是我们可以用来证明代码正确的所有不同工具的采样器，所有这些工具都是Leftpad的证明。 什么是“左键盘”？ Leftpad是一个函数，它接受一个字符，一个长度和一个字符串，并将字符串填充到该长度。 它通过在左侧添加字符来填充它。 因此，它在左侧添加了填充。 左垫。 >>