MATLAB: Is there a workaround in the Polyspace tool to avoid justified checks from showing up again

orange checksPolyspace Code ProverPolyspace Code Prover Server

Hi,

In Polyspace, after the verification run, we go and justify some checks, especially the orange ones, according to our understanding if they aren't real checks.

So, is there a way to not see them again in the next run?

Thanks.

Best Answer

Hi,

Since you have justified the checks, I suggest you to activate filters to hide them. If you have used the Classification "Not a defect" for instance, in the Results Summary view you could activate the filter on the column Classification and choose to hide all the checks classified "Not a defect".

More information on the filters here:

http://www.mathworks.com/help/codeprover/ug/filter-checks.html

For the next verifications of the same project, the justifications and comments will be automatically imported in the new results folder (or in the same folder if you choosed to use it again).

You can also annotate the code so the checks are automatically justified and commented :

http://www.mathworks.com/help/codeprover/ug/assign-review-comments-to-code.html

Regards,

Alex

Related Solutions

MATLAB: Can I perform with code verification for Ada if I have Polyspace Bug Finder and PolySpace Code Prover

Code verification for Ada requires the Polyspace Client for Ada, which is a separate product from PolySpace Bug Finder and PolySpace Code Prover.

To purchase the PolySpace Client for Ada, please reach out to your company's MathWorks sales representative, or contact the MathWorks sales department.

MATLAB: Subplot Titles left justified

Prior to Matlab r2020b

Set the title's units to Normalize
Move the title leftward
Set the title's HorizontalAlignment to Left.

figure()
axes()
ttl = title('Input firing rates');
ttl.Units = 'Normalize'; 
ttl.Position(1) = 0; % use negative values (ie, -0.1) to move further left
ttl.HorizontalAlignment = 'left';

Matlab r2020b or later

Set the TitleHorizontalAlignment propery of the axes. See more info in this Community Highlight.

figure()
ax = axes();
title('Input firing rates');
ax.TitleHorizontalAlignment = 'left';

Best Answer

Related Solutions

MATLAB: Can I perform with code verification for Ada if I have Polyspace Bug Finder and PolySpace Code Prover

MATLAB: Subplot Titles left justified

Related Question