I am tring to continue matlab script execution after polyspacecodeprover function showing error in matlab window. but matlab close script execution .

I want to continue matlab script execution after polyspacecodeprover function fail for that I tried with try-catch condition, but when polyspace function fails, directly script execution will stop.

can any commands available in polyspacecodeprover function for return in matlab?

mycode ->

function return = polyspace()

try

polyspaceCodeProver('-sources',sourceFileName,...

'-I',includeFileName, ...

'-results-dir',resFolder2,...

'-misra3','mandatory',...

'-do-not-generate-results-for','all-headers',...

'-main-generator');

return = 1

catch

return = 0

end

end

Answer 1

[Anirban]

Hi,

I am guessing when you mention failure of the polyspace function, you mean a failure because of compilation errors in the source code or some such thing. In those cases, a better approach would be to poll the return value of the polyspaceCodeProver function, like so:

status = polyspaceCodeProver('-sources',sourceFileName,...

'-I',includeFileName, ...

'-results-dir',resFolder2,...

'-misra3','mandatory',...

'-do-not-generate-results-for','all-headers',...

'-main-generator');

If the verification fails, the function returns 1 to the status variable, otherwise 0.

A similar approach is given for the polyspace.Project object in Troubleshoot Polyspace Analysis from MATLAB. This object provides a cleaner way to run Polyspace from MATLAB. So, you can also use this object instead of the polyspaceCodeProver function.

[Sonali Patil]

It's working thank you!