Polyspace Code Prover R2014b - ps_cxx_fe.exe has stopped working

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.

Answer 1

[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