Error during the execution of the Polyspace Bug Finder script

조회 수: 6 (최근 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개)

Community Treasure Hunt

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

Start Hunting!

Translated by