Customizing Polyspace Code Prover Report

1 visualización (últimos 30 días)
Shaku kaa
Shaku kaa el 30 de Sept. de 2016
Respondida: Christian Bard el 2 de Nov. de 2016
Right now Polyspace giving the information about all the files which we added initially.But, POlyspace is not using all the files .In the "Run-Time Checks Summary" it is giving information of all the added files .. Is it possible to obtain a "Run-Time Checks Summary " with polyspace used files. it all should be done automatically

Respuestas (1)

Christian Bard
Christian Bard el 2 de Nov. de 2016
Hi Shaku, Using DeveloperReview template, you get a summary of run-time checks by files added to the analysis. Files not present in the summary don't have any run-time checks.
Regards, Christian

Community Treasure Hunt

Find the treasures in MATLAB Central and discover how the community can help you!

Start Hunting!

Translated by