While integrating polyspace 2019a with Matlab 2019a Im getting an error stating undefined function or variable 'polyspacesetup'

I'm using Polyspace 2019a and I want to integrate it with MATLAB 2019a. So I've tried polyspacesetup('install') but it shows "Undefined function or variable 'polyspacesetup' ". So how can I solve this type of issue? Thanks in advance.

Answer 1

[Anirban]

The syntax:

polyspacesetup('install')

Is immediately available only from R2021a.

In R2019a, you have to do a few steps prior to executing this function. In particular, you have to navigate (cd) to a specific folder polyspaceroot\toolbox\polyspace\pscore\pscore\. Here, polyspaceroot is the Polyspace installation folder, for instance, C:\Program Files\Polyspace\R2019a.

See R2019a documentation: https://www.mathworks.com/help/releases/R2019a/bugfinder/ug/integrate-polyspace-with-matlab-and-simulink.html .

[Mehdi Dehghan]

@Anirban

Thank you for your comment. I am using MATLAB 2024a. I almost had the same error until I saw your message, and I added the following folder on the MATLAB Path:

C:\Program Files\Polyspace\R2024a\toolbox\polyspace\pscore\pscore

Without this folder on the path, code prover and bug finder inside the Simulink>App>Polyspace Code Verifyer, won't be active.

Thanks for your comment.

Mehdi