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 .