I am tring to continue matlab script execution after polyspacecodeprover function showing error in matlab window. but matlab close script execution .
1 view (last 30 days)
Show older comments
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
0 Comments
Accepted Answer
Anirban
on 8 Dec 2020
Edited: Anirban
on 8 Dec 2020
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.
More Answers (0)
See Also
Categories
Find more on Troubleshoot Compilation Errors in Help Center and File Exchange
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!