小编Xal*_*tar的帖子

我正在尝试使用 QtCreator 构建一些项目。

两个 .pro 文件之间有很多共同的代码。

有没有办法让两个 .pro 文件调用另一个包含公共信息的唯一 .pro 文件？

我在想我们可以证明一个程序有错误.我们可以对其进行测试,以评估它是否或多或少具有抗虫性.

但有没有办法(甚至在理论上)证明程序没有错误？

对于简单的程序,例如"Hello World",我想我们应该能够做到.但是大型项目呢？