I need to integrate Polyspace 2019b in MATLAB 2015b through automation.
8 visualizzazioni (ultimi 30 giorni)
Anirban il 1 Set 2023
Based on R2019b documentation, it looks like you can cd to the folder polyspaceroot\toolbox\polyspace\pscore\pscore\ and then run:
Here, polyspaceroot is the Polyspace installation folder, such as C:\Program Files\Polyspace\R2019b.
Starting R2021a, it is simpler to do the integration since you do not need to cd to the Polyspace folder. See polyspacesetup.