Customizing Polyspace Code Prover Report

2 vues (au cours des 30 derniers jours)
Shaku kaa
Shaku kaa le 30 Sep 2016
Réponse apportée : Christian Bard le 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

Connectez-vous pour répondre à cette question.

Réponses (1)

Christian Bard
Christian Bard le 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

Catégories

En savoir plus sur Generate Reports dans Help Center et File Exchange

Tags

Produits

Community Treasure Hunt

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

Start Hunting!

Translated by