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

9 次查看（过去 30 天）
Mahesh_14039798
Mahesh_14039798 2022-12-19
评论： 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.

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

回答（1 个）

Anirban
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 个评论
Mehdi Dehghan
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

请先登录，再进行评论。

类别

在 Help Center 和 File Exchange 中查找有关 Set Up Code Prover Analysis on Servers During Continuous Integration 的更多信息

标签

产品


版本

R2019a

Community Treasure Hunt

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

Start Hunting!

Translated by