是否可以创建一个模块，该模块仅使用Polyspace Bugfinder / CodeProver中的项目包含文件夹的包含文件夹？
4次观看（过去30天）
显示较旧的评论
我需要分析分为三个模块（每个生成不同的可执行文件）的代码，该文件共享一些标题文件。但是，某些功能在每个模块本地的标题文件中重新定义，因此如果我将单个PolySpace项目中的所有代码放入我获取编译错误的所有包含文件夹（包括错误的头文件，则根据包含文件夹的顺序）。
是否可以创建一个模块，该模块仅使用Polyspace Bugfinder / Codeprover中的项目包含文件夹的子集？或者我应该为每个模块创建一个项目吗？
