Polyspace Code Prover R2014b - ps_cxx_fe.exe has stopped working

Question

Daniel Popu 2015-2-5

1
链接

此问题的直接链接

https://ww2.mathworks.cn/matlabcentral/answers/175445-polyspace-code-prover-r2014b-ps_cxx_fe-exe-has-stopped-working

回答： 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.

0 个评论
显示 -2更早的评论隐藏 -2更早的评论

请先登录，再进行评论。

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

Answer 1

Alexandre De Barros 2015-2-6

0
链接

此回答的直接链接

https://ww2.mathworks.cn/matlabcentral/answers/175445-polyspace-code-prover-r2014b-ps_cxx_fe-exe-has-stopped-working#answer_167141

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