为什么Polyspace代码验证在分析生成报告,即使编译失败?

11视图(30天)

我们在代码生成Polyspace报告验证R2018b。我们最近升级的版本R2015b R2018b

我们发现报告生成的组件失败中即使一些文件的编译阶段Polyspace工具。这不是当我们R2015b上运行。

接受的答案

MathWorks支金宝app持团队
这是一个旨在改变代码验证分析引入R2017a的行为。在释放,默认行为是改变允许分析继续剩余的文件如果检测到编译失败。因此,报告可能即使编译生成故障。
R2017a之前,默认行为是停止分析发现如果编译失败。恢复旧的默认行为,你可以指定“-stop-if-compiler-error”选项标记通过命令行或环境的设置页面。
在编译错误标志选项的更多信息,请参阅下面的链接:
1评论
穆罕默德扎卡里亚正在搜索安萨里
你好,
关于上面的评论,你能帮我找到我可以启用的设置“允许分析继续剩余的文件如果检测到编译失败”
谢谢,
默罕默德

登录置评。

更多的答案(0)