这些解释3 R2018a场景你寄给我们的,“空白”意味着“违约”行为的选项:
1。考虑所有头文件位于同一文件夹比和抛弃。\来源包括文件夹
2。考虑只比源和丢弃头位于同一文件夹包括头。\包括所有其他头文件(空白)。
3所示。考虑到所有头不看他们的位置
上述结果对于Polyspace代码验证R2016a及以上版本,弃用includes-to-ignore选项时:
