Error during the execution of the Polyspace Bug Finder script

7 ビュー (過去 30 日間)
Brahim
Brahim 2025 年 3 月 13 日
回答済み: Christian Bard 2025 年 3 月 27 日
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

採用された回答

Christian Bard
Christian Bard 2025 年 3 月 27 日
Within release R2019b, MATLAB and Polyspace must be installed in separate folders.
Recommend workflow:
  • 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.

その他の回答 (0 件)

製品


リリース

R2019b

Community Treasure Hunt

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

Start Hunting!

Translated by