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

1 vue (au cours des 30 derniers jours)

Afficher commentaires plus anciens

Jeevan le 9 Juin 2016

0
Lien

Utiliser le lien direct vers cette question

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

Réponse apportée : Christian Bard le 2 Nov 2016

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

0 commentaires
Afficher -2 commentaires plus anciensMasquer -2 commentaires plus anciens

Connectez-vous pour commenter.

Connectez-vous pour répondre à cette question.

Réponses (1)

Christian Bard le 2 Nov 2016

0
Lien

Utiliser le lien direct vers cette réponse

https://fr.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 commentaires
Afficher -2 commentaires plus anciensMasquer -2 commentaires plus anciens

Connectez-vous pour commenter.

Connectez-vous pour répondre à cette question.

Catégories

Code Verification Polyspace Code Prover

Verification, Validation, and Test Polyspace Code Prover

En savoir plus sur Polyspace Code Prover dans Help Center et File Exchange

Tags

Produits

Polyspace Client for C/C++

Community Treasure Hunt

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

Translated by