Is polyspace 2020b compatible with win11?
24 vues (au cours des 30 derniers jours)
Afficher commentaires plus anciens
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 commentaires
Réponses (2)
Anirban
le 28 Sep 2023
Please contact MathWorks Technical Support for more help with the issue. See Contact Technical Support About Issues with Running Polyspace.
0 commentaires
Walter Roberson
le 28 Sep 2023
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)
Voir également
Catégories
En savoir plus sur Run Settings dans Help Center et File Exchange
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!