필터 지우기
필터 지우기

Is polyspace 2020b compatible with win11?

조회 수: 35 (최근 30일)
玫青
玫青 2023년 9월 15일
댓글: wei 2024년 5월 12일 14:58
The same BugFindr project, with the same code, running Polyspace on Windows 10 can correctly generate static inspection reports, However, running on win11 will prompt "failure in verification of function xxxxx", resulting in analysis failure
  댓글 수: 6
玫青
玫青 2023년 11월 10일
After reinstalling the win10 system, it can be checked normally
wei
wei 2024년 5월 12일 14:58
win11该如何解决这个问题?

댓글을 달려면 로그인하십시오.

답변 (2개)

Anirban
Anirban 2023년 9월 28일
Please contact MathWorks Technical Support for more help with the issue. See Contact Technical Support About Issues with Running Polyspace.

Walter Roberson
Walter Roberson 2023년 9월 28일
There are some Windows-11 specific problems with polyspace in some versions.
For example https://www.mathworks.com/support/bugreports/details/2566304 against Polyspace Code Prover is Windows 11 specific and leads to a Fail(Fail: failure in job) message (but with different surrounding text than you see)
  댓글 수: 1
玫青
玫青 2023년 11월 10일
After reinstalling the win10 system, it can run normally

댓글을 달려면 로그인하십시오.

태그

제품


릴리스

R2020b

Community Treasure Hunt

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

Start Hunting!

Translated by