Polyspace configuration: orange check

2 vues (au cours des 30 derniers jours)

Andrea F. le 9 Jan 2018

0
Lien

Utiliser le lien direct vers cette question

https://fr.mathworks.com/matlabcentral/answers/376234-polyspace-configuration-orange-check

Réponse apportée : Sharan Paramasivam Murugesan le 11 Jan 2018

Hi, I'm trying to perform Polyspace Auytomatic Oragen Tester (AOT) using -automatic-orange-tester option, but on starting I got the Error: " _Unable to start test campaign. An Error has occured during compilation. " Impossible to make an executable from the instrumnted sources." Does anyone know what it might be related ? Thanks

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)

Sharan Paramasivam Murugesan le 11 Jan 2018

1
Lien

Utiliser le lien direct vers cette réponse

https://fr.mathworks.com/matlabcentral/answers/376234-polyspace-configuration-orange-check#answer_299693

If you are using R2014a, then this is a bug. Refer to the below EBR for the workaround:

https://www.mathworks.com/support/bugreports/1032718

Regards

Sharan

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 Products for Ada Troubleshooting in Polyspace Products for Ada

En savoir plus sur Troubleshooting in Polyspace Products for Ada dans Help Center et File Exchange

Community Treasure Hunt

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

Start Hunting!

Translated by