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

1 view (last 30 days)

Show older comments

Jeevan on 9 Jun 2016

0
Link

Direct link to this question

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

Answered: Christian Bard on 2 Nov 2016

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

0 Comments
Show -2 older commentsHide -2 older comments

Sign in to comment.

Sign in to answer this question.

Answers (1)

Christian Bard on 2 Nov 2016

0
Link

Direct link to this answer

https://ch.mathworks.com/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 Comments
Show -2 older commentsHide -2 older comments

Sign in to comment.

Sign in to answer this question.

Categories

Code Verification Polyspace Code Prover

Verification, Validation, and Test Polyspace Code Prover

Find more on Polyspace Code Prover in Help Center and File Exchange

Tags

Products

Polyspace Client for C/C++

Community Treasure Hunt

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