有可能创建一个模块,使用只有一个子集的项目的文件夹包含在Polyspace BugFinder / CodeProver吗?
1视图(30天)
显示旧的评论
我需要分析分为三个模块的代码(每生成一个不同的可执行文件),分享一些头文件。但是有些功能重新定义在头文件本地每个模块如果我把所有的代码在一个Polyspace项目所有的包括文件夹我得到编译错误(错误的头文件包含,取决于包括文件夹的顺序)。
有可能创建一个模块使用只有一个子集的项目的文件夹包含在Polyspace BugFinder / CodeProver吗?或者我应该为每个模块创建一个项目吗?