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

1 Ansicht (letzte 30 Tage)
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

Akzeptierte Antwort

Anirban
Anirban am 8 Dez. 2020
Bearbeitet: Anirban am 8 Dez. 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.

Weitere Antworten (0)

Community Treasure Hunt

Find the treasures in MATLAB Central and discover how the community can help you!

Start Hunting!

Translated by