Why do we get "Failure with error code 252 " in Polyspace 8.5 log?

1 次查看（过去 30 天）

显示更早的评论

Jeevan 2016-6-9

0
链接

此问题的直接链接

https://ww2.mathworks.cn/matlabcentral/answers/288766-why-do-we-get-failure-with-error-code-252-in-polyspace-8-5-log

回答： Christian Bard 2016-11-2

We are getting error message "Failure with error code 252 " analysis failed on Polyspace 8.5

0 个评论
显示 -2更早的评论隐藏 -2更早的评论

请先登录，再进行评论。

请先登录，再回答此问题。

回答（1 个）

Christian Bard 2016-11-2

0
链接

此回答的直接链接

https://ww2.mathworks.cn/matlabcentral/answers/288766-why-do-we-get-failure-with-error-code-252-in-polyspace-8-5-log#answer_241678

Hi Jeevan,

Please contact Technical Support with a complete log file.

Regards, Christian

0 个评论
显示 -2更早的评论隐藏 -2更早的评论

请先登录，再进行评论。

请先登录，再回答此问题。

类别

Code Verification Polyspace Code Prover

Verification, Validation, and Test Polyspace Code Prover

在 Help Center 和 File Exchange 中查找有关 Polyspace Code Prover 的更多信息

标签

产品

Polyspace Client for C/C++

Community Treasure Hunt

Find the treasures in MATLAB Central and discover how the community can help you!

Translated by