MATLAB的答案

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

5视图(30天)
MathWorks支万博1manbetx持团队
回答: MathWorks支万博1manbetx持团队 2020年4月7日

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

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

在回答这个问题。

接受的答案

MathWorks支万博1manbetx持团队
这是一个旨在改变代码验证分析引入R2017a的行为。在释放,默认行为是改变允许分析继续剩余的文件如果检测到编译失败。因此,报告可能即使编译生成故障。
R2017a之前,默认行为是停止分析发现如果编译失败。恢复旧的默认行为,你可以指定“-stop-if-compiler-error”选项标记通过命令行或环境的设置页面。
在编译错误标志选项的更多信息,请参阅下面的链接:
//www.tianjin-qmedu.com/help/releases/R2018b/codeprover/ref/stopanalysisifafiledoesnotcompilestopifcompileerror.html

更多的答案(0)