Check Why Polyspace Functions are Unavailable in MATLAB

Issue

To use Polyspace^® directly from MATLAB^® or Simulink^®, you must include the folders containing the Polyspace functions on the MATLAB search path. If these locations are absent or deleted from the search path, the Polyspace functions become unavailable in the MATLAB Command Window.

Possible Solution

Possible Solution: Check if you integrated Polyspace with MATLAB and Simulink

The Polyspace functions are included with a Polyspace installation and their locations are unknown to MATLAB. After installing MATLAB and Polyspace, you cannot use these functions unless you add their locations to the MATLAB search path.

To use the Polyspace functions from MATLAB and Simulink, add their locations to the MATLAB search path by calling the function polyspacesetup. See Integrate Polyspace with MATLAB and Simulink.

Possible Solution: Check if Polyspace is supported after a MATLAB update

Updating MATLAB restores the default MATLAB search path and removes any path to the Polyspace installation that was previously added. Because the Polyspace function paths are removed, the integration between Polyspace and MATLAB breaks after a MATLAB update. You must re-establish the integration.

After an update, repeat the steps to integrate Polyspace and MATLAB. If you updated MATLAB to a later release without updating Polyspace, the Polyspace support of MATLAB might be different from before. See Polyspace Support of MATLAB and Simulink from Different Releases.

Depending on your versions of Polyspace and MATLAB, integrate these products completely or partially. See Integrate Polyspace with MATLAB and Simulink.