Runtime checks exited with an exception

Hello,

Polyspace server exits the run time checks with an error message saying "Exception size(size) raised, Exiting because of previous failure(in a son process)".

Didn't find any information about this exception in the Polyspace user guide. Please help me to resolve this issue.

I am using Polyspace 2013a and C programming language.

Thanks.

Answer 1

[Alexandre De Barros]

Hi Sridhar!

For this kind of problems, I suggest you to contact the technical support, and provide the verification log.

Best regards,

Alexandre