polyspace automation standalone script for BF and CD

After Integration polyspace 2019a with matlab 2015b few commands like polyspace-bug-finder and polyspace-code-prover not worked. it shows error like due to different releases not work. please suggest how to get the polyspace bf and cd reports through scripting.

Answer 1

[Shubham]

Hi basheer,

I understand you are not able to use commands like polyspace-bug-finder and polyspace-code-prover in Polyspace R2019a after integration with MATLAB R2015b.

From R2019a onwards, Polyspace Bug Finder and Polyspace Code Prover have become standalone products separate from MATLAB/Simulink. As a result, integrating Polyspace with MATLAB/Simulink requires additional steps to be performed.

Refer to this MATLAB Answers for more info

How do I use Polyspace with Simulink? - MATLAB Answers - MATLAB Central (mathworks.com)

How do I install Polyspace for R2019a and later? - MATLAB Answers - MATLAB Central (mathworks.com)

After correctly configuring Polyspace, you will be able to use those Polyspace commands.