Is polyspace 2020b compatible with win11?
24 ビュー (過去 30 日間)
古いコメントを表示
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 件のコメント
回答 (2 件)
Anirban
2023 年 9 月 28 日
Please contact MathWorks Technical Support for more help with the issue. See Contact Technical Support About Issues with Running Polyspace.
0 件のコメント
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)
参考
カテゴリ
Help Center および File Exchange で Run Settings についてさらに検索
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!