Polyspace Code Prover R2014b - ps_cxx_fe.exe has stopped working

8 vues (au cours des 30 derniers jours)
Daniel Popu
Daniel Popu le 5 Fév 2015
Réponse apportée : Alexandre De Barros le 6 Fév 2015
Hello,
I am using Polyspace Code Prover R2014b for a project analysis. In the middle of one analysis, I get the following message:
"ps_cxx_fe.exe" has stopped working. A problem caused the program to stop working correctly. Windows will close the program and notify you if a solution is available."
what is causing the error and how should I proceed in this case?
Thank you.

Connectez-vous pour répondre à cette question.

Réponse acceptée

Alexandre De Barros
Alexandre De Barros le 6 Fév 2015
Hi Daniel!
This is a problem with an internal executable. I suggest you to contact the MathWorks support, and provide them the verification log showing this error.
Best regards,
Alex

Plus de réponses (0)

Catégories

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

Tags

Produits

Community Treasure Hunt

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

Start Hunting!

Translated by