- Uninstall everything
- Install MATLAB R2029b and its toolboxes excepted Polyspace in "C:\Program Files\MATLAB\R2019b"
- Install Polyspace R2019b in "C:\Program Files\Polyspace\R2019b"
- Open MATLAB and cd 'C:\Program Files\Polyspace\R2019b\toolbox\polyspace\pscore\pscore' in MATLAB prompt
- Execute polypacesetup('install') in MATLAB prompt.
Error during the execution of the Polyspace Bug Finder script
12 visualizaciones (últimos 30 días)
Mostrar comentarios más antiguos
Brahim
el 13 de Mzo. de 2025
Respondida: Christian Bard
el 27 de Mzo. de 2025
I developed this MATLAB script in version 2024b to automate Polyspace Bug Finder. When I tried to run the same script in MATLAB 2019b, I encountered this error:

Knowing that I have correctly installed Polyspace 2019b and integrated it into my MATLAB 2019b, I have also added the necessary Polyspace paths to the MATLAB directory:

polyspace:report:psrptgen, I have verified that this package is added to the MATLAB directory, yet the error persists, So, I am stuck and I don't know where this error is coming from or how to fix it, could you help me please , ill be so thankful
0 comentarios
Respuesta aceptada
Christian Bard
el 27 de Mzo. de 2025
Within release R2019b, MATLAB and Polyspace must be installed in separate folders.
Recommend workflow:
0 comentarios
Más respuestas (0)
Ver también
Categorías
Más información sobre Command-Line Only Options en Help Center y File Exchange.
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!