Customizing Polyspace Code Prover Report

1 visualizzazione (ultimi 30 giorni)
Shaku kaa
Shaku kaa il 30 Set 2016
Risposto: Christian Bard il 2 Nov 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

Accedi per rispondere a questa domanda.

Risposte (1)

Christian Bard
Christian Bard il 2 Nov 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

Categorie

Scopri di più su Generate Report in Help Center e File Exchange

Tag

Prodotti

Community Treasure Hunt

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

Start Hunting!

Translated by