标签： visual-studio cbmc
我正在从MS Visual Studio命令提示符执行CBMC。我已经使用MSBuild构建了解决方案，并已通过goto-cc传递了该解决方案以获取可执行文件。将此可执行文件传递给cbmc时，只会为包含main.c的主项目提供结果。该流程没有链接解决方案中存在潜在问题的其他项目。我认为该程序不是顺其自然。在执行时有什么方法可以链接项目吗？