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

Question

Mahesh_14039798 2022-12-19

0
链接

此问题的直接链接

https://ww2.mathworks.cn/matlabcentral/answers/1880952-while-integrating-polyspace-2019a-with-matlab-2019a-im-getting-an-error-stating-undefined-function-o

评论： Mehdi Dehghan 2024-7-17

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.

0 个评论
显示 -2更早的评论隐藏 -2更早的评论

请先登录，再进行评论。

请先登录，再回答此问题。

Answer 1

Anirban 2023-1-3

编辑：Anirban 2023-1-3

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 .

1 个评论
显示 -1更早的评论隐藏 -1更早的评论

Mehdi Dehghan 2024-7-17

@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

请先登录，再进行评论。