我尝试使用命令运行 Polyspace Code Prover ./pollyspace-bug-finder options.txt
它开始运行几行代码，然后出现错误提示：已达到错误限制。没有任何其他上下文。
在 Windows 机器上运行该程序，使用 GUI，在同一个项目上，它给了我一个很好的分析。
所以我想我以某种方式错误地设置了 options.txt（该文件取自官方网站）。
在 Ubuntu 上运行该程序的人有遇到过类似的问题吗？
Polyspace Code Prover Ubuntu 服务器