Mismatch between polyspace error message and the code line
1 visualizzazione (ultimi 30 giorni)
Mostra commenti meno recenti
Hello,
When I click on the error in Result Summary pane of Polyspace Code Prover (R2015a) the result is empty line in Source pane (Sreen-shot1). But If I open the error in an external or internal editor, I see the actual code line (Screen-shot2)where the error occurs. There is some mismatch between the reported error in Result Summary pane and the code line in Source pane. Is this a bug in this revision of Polyspace?
Best Regards Dimo Petkov
0 Commenti
Risposte (2)
Alexandre De Barros
il 22 Nov 2016
Hello,
the line number is indeed strange but I also can see that the line 52835 displayed in Polyspace does not correspond to the actual code. It is a return statement in Polyspace and an if statement in the actual code.
There is something strange in the preprocessing. Are you using special macros, or a post-preprocessing command?
I suggest you to contact the support and attach the verification log that shows the options set in the verification. That will be helpful for the support.
Regards
Alexandre
0 Commenti
Vedere anche
Categorie
Scopri di più su Get Started with Polyspace Products for Ada 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!