Why do I get an error when linking Simulink to Polyspace: "Error using 'polyspacesetup': Invalid Polyspace installation path"

I have Polyspace 2023b and MATLAB 2023b both installed in the default folder. When I try to link Polyspace to MATLAB and Simulink following the procedure from this article:

How do I use Polyspace with Simulink?

https://www.mathworks.com/matlabcentral/answers/454362-how-do-i-use-polyspace-with-simulink

This MATLAB command:

polyspacesetup('install');

results in this error:

Installing Polyspace from 'C:\Program Files\MATLAB\R2023b\..\..\Polyspace\R2023b'
Error using polyspacesetup
Invalid Polyspace installation path.
Provide root folder of Polyspace installation (folder that contains subfolder polyspace/bin).

Answer 1

[MathWorks Support Team]

This error may occur if only Polyspace Test is installed, not Polyspace Bug Finder. Both products are installed in the same destination folder by default, but they are not the same.

To resolve this error, install Polyspace Bug Finder. You can do so from the following page:

https://www.mathworks.com/downloads

You do not have to uninstall Polyspace Test prior to installing Polyspace Bug Finder into the same destination folder. Then retry running this command in MATLAB:

polyspacesetup('install');

If your error persists, launch Polyspace R2023b and check the output of "Help" -> "About". Specifically, "Polyspace Bug Finder" must appear under "Installed Polyspace Products" in that output.