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.