Polyspace toolbox installation issue-MATLAB 2024b

18 views (last 30 days)
I was trying to install Polyspace bug finder toolbox from Add-on of Matlab 2024b.Initially it has Install option enabled once after i install neither it is showing installed nor install on the polyspace codeprover tool box only Learn More option is enabled.How to install add on polyspace bug finder from Matlab 2024b?
  1 Comment
Sowntharya
Sowntharya on 29 Jan 2025
To link Matlab to Polyspace of same version no need to install tool box polyspace code prover or bugfinder directly we can link using below command once after installing polyspace 202x and Matlab 202x.
polyspacesetup('install', 'polyspacefolder', 'C:\Program Files\Polyspace\R202xb')

Sign in to comment.

Answers (1)

Christian Bard
Christian Bard on 7 Feb 2025
Install MATLAB and other toolboxes in one folder and install Polyspace in another folder. Then cross install Polyspace in MATLAB.

Categories

Find more on Introduction to Installation and Licensing in Help Center and File Exchange

Products


Release

R2024b

Community Treasure Hunt

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

Start Hunting!