Polyspace review scope shuts everything off
3 visualizzazioni (ultimi 30 giorni)
Mostra commenti meno recenti
I'm using Polyspace R2022a. In Tools -> Preferences -> Review Scope, I created a new scope that shuts everything off except "Float overflow":

Then in the "Results List" when I switch between "All results" and my new scope, I see that only "Unreachable code" remains (the overflow hits disappear). Also, in the Run-time Checks Configuration section of the generated doc file, it shows that nothing is selected: (Float overflow should show "on: 100%")

What am I missing?
0 Commenti
Risposte (1)
Anirban
il 1 Set 2023
I tried your workflow with the demo example (Help > Examples > Bug_Finder_Example.psprj) and the review scope with only Float overflow enables shows only the Float overflow result.
The issue you are encountering might be specific to your project. Please contact MathWorks Technical Support for further diagnosis of the issue.
0 Commenti
Vedere anche
Categorie
Scopri di più su Code Prover Analysis with Windows or Linux Scripts 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!