Polyspace Code Prover R2014b - ps_cxx_fe.exe has stopped working

8 次查看（过去 30 天）
Daniel Popu
Daniel Popu 2015-2-5
回答： Alexandre De Barros 2015-2-6
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.

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

采纳的回答

Alexandre De Barros
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

更多回答（0 个）

类别

在 Help Center 和 File Exchange 中查找有关 Troubleshooting in Polyspace Products for Ada 的更多信息

标签

产品

Community Treasure Hunt

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

Start Hunting!

Translated by