Is polyspace 2020b compatible with win11?
24 visualizzazioni (ultimi 30 giorni)
Mostra commenti meno recenti
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 Commenti
Risposte (2)
Anirban
il 28 Set 2023
Please contact MathWorks Technical Support for more help with the issue. See Contact Technical Support About Issues with Running Polyspace.
0 Commenti
Walter Roberson
il 28 Set 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)
Vedere anche
Categorie
Scopri di più su Run Settings in Help Center e File Exchange
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!