Ist it possible to switch to other findings in Source Code panel of Polyspace Access?

Hello,

I was wondering if it is not possible in Polyspace Code Prover Access R2020a to switch between findings in the "Source Code" panel. In the earlier desctop versions it was possible to switch to other findings (other families or rules) by clicking on the error symbols shown in the "Source Code" panel. It was sometimes very helpful for analysing the issue if all findings in a line were easily accessible.

Thank you and best regards,

Birgit

Answer 1

[Anirban]

Hi Birgit,

You can right-click a token in the source code and from the Select Results menu, see all findings on the token.